Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Colleges, School and Institutes


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 publicationComputational Methods in Systems Biology
Subtitle of host publication14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Publication statusPublished - 2016
Event14th International Conference on Computational Methods in Systems Biology (CMSB'16) - Cambridge, United Kingdom
Duration: 21 Sep 201623 Sep 2016

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Conference on Computational Methods in Systems Biology (CMSB'16)
CountryUnited Kingdom