Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
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.
- 5.Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2000)Google Scholar
- 9.Fontana, W.: Algorithmic chemistry. In: Artificial Life II. Addison Wesley (1992)Google Scholar
- 13.Kleinberg, J., Tardos, É.: Algorithm Design. Addison-Wesley, Boston (2006)Google Scholar