College of Arts and Sciences
Master of Science in Mathematical Sciences (MS)
Mathematics & Statistics
NACO controlled Corporate Body
University of North Florida. Department of Mathematics and Statistics
Dr. Daniela Genova
Dr. Michelle DeDeo
Dr. Zornitza Prodanoff
Dr. Richard Patterson
Dr. George Rainbolt
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.
Thomas, Matthew R., "Minimizing Reaction Systems" (2021). UNF Graduate Theses and Dissertations. 1032.