Modelling of Biochemical Reactions by Stochastic Automata Networks

This paper presents a stochastic modelling framework based on stochastic automata networks (SANs) for the analysis of complex biochemical reaction networks. Our approach takes into account the discrete character of quantities of components (i.e. the individual populations of the involved chemical species) and the inherent probabilistic nature of microscopic molecular collisions. Moreover, as for process calculi that have recently been applied to systems in biology, the SAN approach has the advantage of a modular design process being adequate for abstraction purposes. The associated composition operator leads to an elegant and compact representation of the underlying continuous-time Markov chain in form of a Kronecker product. SANs have been extensively used in performance analysis of computer systems and a large variety of numerical and simulative analysis algorithms exist. We illustrate that describing a biochemical reaction network by means of a SAN offers promising opportunities to get insight into the quantitative behaviour of systems in biology while taking advantage of the benefits of a compositional modelling approach.

[1]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[2]  Gianfranco Ciardo,et al.  SMART: the stochastic model checking analyzer for reliability and timing , 2004 .

[3]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[4]  Luca Cardelli,et al.  A Correct Abstract Machine for the Stochastic Pi-calculus , 2004 .

[5]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[6]  Peter Buchholz,et al.  A Toolbox for the Analysis of Discrete Event Dynamic Systems , 1999, CAV.

[7]  Kwang-Hyun Cho,et al.  Modeling and simulation of intracellular dynamics: choosing an appropriate framework , 2004, IEEE Transactions on NanoBioscience.

[8]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[9]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[10]  Roy Mathias,et al.  A stochastic automata network descriptor for Markov chain models of instantaneously coupled intracellular Ca2+ channels , 2005, Bulletin of mathematical biology.

[11]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[12]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[13]  Gianfranco Ciardo,et al.  A data structure for the efficient Kronecker solution of GSPNs , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[14]  Paulo Fernandes,et al.  Numerical evaluation of stochastic automata networks , 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

[15]  S. Gilmore,et al.  Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .

[16]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[17]  J. Griffiths.  The Theory of Stochastic Processes , 1967 .

[18]  Monika Heiner,et al.  Petri Net Based Model Validation in Systems Biology , 2004, ICATPN.

[19]  Luca Cardelli,et al.  A Compositional Approach to the Stochastic Dynamics of Gene Networks , 2006, Trans. Comp. Sys. Biology.

[20]  Paulo Fernandes,et al.  The PEPS Software Tool , 2003, Computer Performance Evaluation / TOOLS.

[21]  James M. Bower,et al.  Computational modeling of genetic and biochemical networks , 2001 .

[22]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[23]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[24]  Brigitte Plateau.  On the stochastic structure of parallelism and synchronization models for distributed algorithms , 1985, SIGMETRICS 1985.

[25]  Kevin Burrage,et al.  Stochastic approaches for modelling in vivo reactions , 2004, Comput. Biol. Chem..

[26]  Luca Cardelli.  A Compositional Approach to the Stochastic Dynamics of Gene Networks , 2005, CONCUR.

[27]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..