Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

  • Chunyan Mu
  • Peter Dittrich
  • David Parker
  • Jonathan E. Rowe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9859)

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.

References

  1. 1.
    Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269–276. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  2. 2.
    Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29(6), 524–541 (2003)MATHGoogle Scholar
  3. 3.
    Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D’Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123–138. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  4. 4.
    Cardelli, L., Kwiatkowska, M., Laurenti, L.: Stochastic analysis of chemical reaction networks using linear noise approximation. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 64–76. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  5. 5.
    Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2000)Google Scholar
  6. 6.
    Dittrich, P., Ziegler, J., Banzhaf, W.: Artificial chemistries-a review. Artif. Life 7(3), 225–275 (2001)CrossRefGoogle Scholar
  7. 7.
    Dittrich, P., di Fenizio, P.: Chemical organisation theory. Bull. Math. Biol. 69(4), 1199–1231 (2007)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Feinberg, M., Horn, F.J.M.: Dynamics of open chemical systems and the algebraic structure of the underlying reaction network. Chem. Eng. Sci. 29(3), 775–787 (1973)CrossRefGoogle Scholar
  9. 9.
    Fontana, W.: Algorithmic chemistry. In: Artificial Life II. Addison Wesley (1992)Google Scholar
  10. 10.
    Fontana, W., Buss, L.W.: “The arrival of the fittest”: toward a theory of biological organization. Bull. Math. Biol. 56(1), 1–64 (1994)MATHGoogle Scholar
  11. 11.
    Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)CrossRefGoogle Scholar
  12. 12.
    Heinrich, R., Schuster, S.: The Regulation of Cellular Systems. Chapman and Hall, New York (1996)CrossRefMATHGoogle Scholar
  13. 13.
    Kleinberg, J., Tardos, É.: Algorithm Design. Addison-Wesley, Boston (2006)Google Scholar
  14. 14.
    Kreyssig, P., Wozar, C., Peter, S., Veloz, T., Ibrahim, B., Dittrich, P.: Effects of small particle numbers on long-term behaviour in discrete biochemical systems. Bioinformatics 30(17), 475–481 (2014)CrossRefGoogle Scholar
  15. 15.
    Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  16. 16.
    Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Wolf, V., Goel, R., Mateescu, M., Henzinger, T.: Solving the chemical master equation using sliding windows. BMC Syst. Biol. J. 4, 42 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Chunyan Mu
    • 1
  • Peter Dittrich
    • 2
  • David Parker
    • 1
  • Jonathan E. Rowe
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamBirminghamUK
  2. 2.Institute of Computer ScienceFriedrich-Schiller-University JenaJenaGermany

Personalised recommendations