Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory [chapter]

Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2016 Lecture Notes in Computer Science  
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
more » ... ement 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. Probabilistic Model Checking Probabilistic model checking is a variant of model checking [5], a well-established formal method to automatically verify the correctness of real-life systems. Classical model checking answers the question of whether the behaviour of a given system satisfies a property or not. It thus requires two inputs: a description of
doi:10.1007/978-3-319-45177-0_15 fatcat:cn4nivol4zdbnk2n6hczzlngmy