Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Chunyan Mu, Peter Dittrich, David Parker* (Corresponding Author), Jonathan E. Rowe

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution


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.
Original languageEnglish
Title of host publication14th International Conference on Computational Methods in Systems Biology (CMSB)
EditorsEzio Bartocci, Pietro Liò, Nicola Paoletti
Number of pages20
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory'. Together they form a unique fingerprint.

Cite this