University of Hertfordshire

From the same journal

By the same authors

Automatic Analysis of Computation in BioChemical Reactions

Research output: Contribution to journalArticle


View graph of relations
Original languageEnglish
Pages (from-to)126-134
Journal publication date2008
StatePublished - 2008


We propose a modeling and analysis method for biochemical reactions based on finite state automata. This is a completely different approach compared to traditional modeling of reactions by differential equations. Our method aims to explore the algebraic structure behind chemical reactions using automatically generated coordinate systems. In this paper we briefly summarize the underlying mathematical theory (the algebraic hierarchical decomposition theory of finite state automata) and describe how such automata can be derived from the description of chemical reaction networks.We also outline techniques for the flexible manipulation of existing models. As a real-world example we use the Krebs citric acid cycle.


Original article can be found at: Copyright Elsevier Ireland Ltd. DOI: 10.1016/j.biosystems.2008.05.018

ID: 102860