Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
- First Online:
- Cite this paper as:
- Mu C., Dittrich P., Parker D., Rowe J.E. (2016) Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. In: Bartocci E., Lio P., Paoletti N. (eds) Computational Methods in Systems Biology. CMSB 2016. Lecture Notes in Computer Science, vol 9859. Springer, Cham
Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, we build on these ideas to develop novel techniques for formal quantitative analysis of chemical reaction networks, using discrete stochastic models represented as continuous-time Markov chains. We propose methods to identify organisations, to study quantitative properties regarding movement between these organisations and to construct an organisation-based coarse graining of the model that can be used to approximate and predict the behaviour of the original reaction network.