@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)",
}