Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

This paper presents a simulation algorithm for the stochastic π-calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain in efficiency. The algorithm is proved correct with respect to the calculus, and then used as a basis for implementing the latest version of the SPiM stochastic simulator. The algorithm is also suitable for generating graphical animations of simulations, in order to visualise system dynamics.

[1]  D. Gillespie.  Approximate accelerated stochastic simulation of chemically reacting systems , 2001 .

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

[3]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

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

[5]  Corrado Priami,et al.  The Beta Workbench , 2007 .

[6]  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.

[7]  Paola Lecca,et al.  Cell Cycle Control in Eukaryotes: A BioSpi model , 2007, Electron. Notes Theor. Comput. Sci..

[8]  Emden R. Gansner,et al.  An open graph visualization system and its applications to software engineering , 2000, Softw. Pract. Exp..

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

[10]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[11]  Emden R. Gansner,et al.  An open graph visualization system and its applications to software engineering , 2000 .

[12]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[13]  K. Burrage,et al.  Binomial leap methods for simulating stochastic chemical kinetics. , 2004, The Journal of chemical physics.

[14]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[15]  Luca Cardelli,et al.  A Graphical Representation for Biological Processes in the Stochastic pi-Calculus , 2006, Trans. Comp. Sys. Biology.

[16]  David N. Turner,et al.  The polymorphic Pi-calculus : theory and implementation , 1996 .

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

[18]  Michael A. Gibson,et al.  Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .

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

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