ORCID

http://orcid.org/0000-0001-6511-3223

Year

2021

Season

Spring

Paper Type

Master's Thesis

College

College of Arts and Sciences

Degree Name

Master of Science in Mathematical Sciences (MS)

Department

Mathematics & Statistics

NACO controlled Corporate Body

University of North Florida. Department of Mathematics and Statistics

First Advisor

Dr. Daniela Genova

Second Advisor

Dr. Michelle DeDeo

Rights Statement

http://rightsstatements.org/vocab/InC/1.0/

Third Advisor

Dr. Zornitza Prodanoff

Department Chair

Dr. Richard Patterson

College Dean

Dr. George Rainbolt

Abstract

The theoretical model for reaction systems is a relatively new framework originally proposed as a mathematical model for biochemical processes which take place in living cells. Growing interest in this research area has lead to the abstraction of the model for non-biological purpose as well. Reaction systems, with a well understood behavior, have become important for studying transition systems. As with any mathematical model, we want to simplify a given implementation of the model as much as possible while maintaining functional equivalence. This paper discusses the formal model for reaction systems, how we can simplify them with minimization techniques, some of their capabilities and properties, and a comparison of those properties for minimal and non-minimal reaction systems. Original software written for the purpose of exploring reaction systems for this paper as well as well-known logic minimization algorithms instrumental in simplifying reaction systems are discussed.

Download

Share

COinS