@inproceedings{174bdcbb2b674a48ae675b19cda9380d,

title = "Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory",

abstract = "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.",

author = "Chunyan Mu and Peter Dittrich and David Parker and Rowe, {Jonathan E.}",

year = "2016",

doi = "10.1007/978-3-319-45177-0_15",

language = "English",

volume = "9859",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "232--251",

editor = "Ezio Bartocci and Pietro Li{\`o} and Nicola Paoletti",

booktitle = "14th International Conference on Computational Methods in Systems Biology (CMSB)",

}