Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 1, 2009, Pages 145-163

  Ciocchetta, Federica ^a   Degasperi, Andrea ^b   Hillston, Jane ^a   Calder, Muffy ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

analysis; Markov chains; ordinary differential equations; process algebras; Systems Biology

Indexed keywords

ALGEBRA; MARKOV PROCESSES;

ANALYSIS; BIOCHEMICAL NETWORKS; CONCENTRATION LEVELS; DIFFERENT ANALYSIS TECHNIQUES; DISCRETE LEVELS; FORMAL DEFINITIONS; MARKOV CHAINS; NOTION OF DISTANCES; PROCESS ALGEBRAS; REPRESSILATOR; STEP SIZES; SYSTEM OF ORDINARY DIFFERENTIAL EQUATIONS; SYSTEMS BIOLOGY;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 60449103324     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.010     Document Type: Article

References (18)

1. Bortolussi L., and Policriti A. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints 13 1-2 (2008) 66-90
2. Calder, M., S. Gilmore, and J. Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In the Proc. of BioConcur'04, London, Sept. 2004
3. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. T. Comp. Sys. Biology, VII. LNCS volume 4230 (2006), Springer 1-23
4. Calder M., Vyshemirsky V., Gilbert D., and Orton R. Analysis of Signalling Pathways using Continuous Time Markov Chains. T. Comp. Sys. Biology, VI. LNCS volume 4220 (2006), Springer 44-67
5. Ciocchetta F., and Hillston J. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Proc. of FBTC 2007. Electronic Notes in Computer Science 194 3 (2008) 103-117
6. Ciocchetta, F. and J. Hillston. Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical Report of the School of Informatics, University of Edinburgh, EDI-INF-RR-1231, 2008
7. Ciocchetta, F., S. Gilmore, M. L. Guerriero and J. Hillston. Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Proc. of PASM 2008, to appear in ENTCS
8. Danos, V. and J. Krivine. Formal molecular biology done in CCS-R. Proc. of Workshop on Concurrent Models in Molecular Biology (BioConcur'03), 2003
9. Elowitz M.B., and Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature 403 6767 (2000) 335-338
10. Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete PEPA models of signalling pathways. Theoretical Computer Science 404 1-2 (2008) 97-111
11. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
12. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
13. Kurtz T.G. Limit Theorems for Sequences of Jump Markov Processes Approximating Ordinary Differential Processes. Journal of Applied Probability 8 2 (1971) 344-356
14. Kurtz T.G. The Relationships between Stochastic and Deterministic Models for Chemical Reactions. The Journal of Chemical Physics 57 7 (1971) 2976-2978
15. Kurtz T.G. Solutions of Ordinary Differential Equations as Limit of Pure Jump Markov Processes. Journal of Applied Probability 7 1 (1971) 49-58
16. Prism web site. http://www.prismmodelchecker.org/
17. Priami, C. and P. Quaglia. Beta-binders for biological interactions. Proc. of CMSB'04, 2004
18. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31