Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

  • Chunyan Mu
  • Peter Dittrich
  • David Parker
  • Jonathan E. Rowe
Conference paper

DOI: 10.1007/978-3-319-45177-0_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9859)
Cite this paper as:
Mu C., Dittrich P., Parker D., Rowe J.E. (2016) Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. In: Bartocci E., Lio P., Paoletti N. (eds) Computational Methods in Systems Biology. CMSB 2016. Lecture Notes in Computer Science, vol 9859. Springer, Cham

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.

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