Relating continuous and discrete PEPA models of signalling pathways

Theoretical Computer Science

Volumn 404, Issue 1-2, 2008, Pages 97-111

  Geisweiller, Nil ^a   Hillston, Jane ^a   Stenico, Marco ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

CTMC; Kurtz; ODEs; PEPA

Indexed keywords

BIOLOGICAL SYSTEMS; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); EQUATIONS OF STATE; INFORMATION THEORY; MARKOV PROCESSES; SEMANTICS; STATE SPACE METHODS;

BIOLOGICAL REACTIONS; CONTINUOUS-TIME MARKOV CHAIN; CTMC; KURTZ; MASS ACTION LAW; MASSIVE QUANTITIES; ODES; PEPA; SIGNALLING PATHWAYS; STATE SPACES;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 49249084626     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.012     Document Type: Article

References (22)

1. L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, Braga, Portugal, 2007
2. M. Calder, A. Duguid, S. Gilmore, J. Hillston, Stronger computational modelling of signalling pathways using both continuous and discrete-state methods, in: Proceedings of 4th International Workshop on Computational Methods in Systems Biology, Trento, Italy, 18-19th October 2006, pp. 63-77
3. M. Calder, S. Gilmore, J. Hillston, Modelling the influence of RKIP on the ERK signaling pathway using the stochastic process algebra PEPA, BioConcur, 2004
4. Calder M., Gilmore S., and Hillston J. Automatically deriving ODEs from process algebra models of signalling pathways. Computational Methods in Systems Biology (2005) 204-215
5. M. Calder, J. Hillston, What do scaffold proteins really do? in: Proceedings of the 5th International Workshop on Process Algebras and Stochastically Timed Activities, PASTA'06, Imperial College, London, UK, June 2006, pp. 96-101
6. Calder M., Vyshemirsky V., Gilbert D., and Orton R. Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology VI (2006) 44-67
7. L. Cardelli, From processes to ODEs by chemistry, Unpublished manuscript, 2006
8. Chiarugi D., Curti M., Degano P., and Marangoni R. VICE: A VIrtual CEll. Proceedings of the 2nd International Workshop on Computational Methods in Systems Biology (Apr 2004), Springer, Paris, France
9. Geisweiller N. An attempt to give a clear semantics of the extension of PEPA for massively parallel processes and biological modelling. Process Algebra and Stochastically Timed Activities (2006) 36-43
10. Gillespie D. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
11. D. Gillespie, L. Petzold, Numerical simulation for biochemical kinetics, 2006
12. Goss P., and Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of National Academy of Science, USA 95 12 (1998) 7650-6755
13. J. Heath, M. Kwiatkowska, G. Norman, D. Parker, O. Tymchynshyn, Computer assisted biological reasoning: The simulation and analysis of FGF signalling pathway dynamics, in: Proceedings of the Winter Simulation Conference, 2006
14. J. Hillston, The nature of synchronisation, in: U. Herzog, M. Rettelbach (Eds.), Proceedings of the Second International Workshop on Process Algebras and Performance Modelling, Erlangen, Nov. 1994, pp. 51-70
15. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
16. Hillston J. Fluid flow approximation of PEPA models. Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems. QEST (September 2005), IEEE Computer Society Press, Torino, Italy 33-42
17. Kurtz T. Solutions of ordinary differential equations as limits of pure jump markov processes. J. Appl. Prob. 7 (1970) 49-58
18. Kurtz T. The relationship between stochastic and deterministic models for chemical reactions. Journal of Chemical Physics 57 7 (1972) 2976-2978
19. Kuttler C., and Niehren J. Gene regulation in the pi calculus: simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology. LNCS vol. 4230 (2006) 24-55
20. P. Lecca, C. Priami, C. Laudanna, G. Constantin, A Biospi model of lymphocyte-endothelial interactions in inflamed brain venules, in: Pacific Symposium of Biocomputing, 2004, pp. 521-532
21. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name passing process calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
22. A. Regev, Computational systems biology: A calculus for biomolecular knowledge, 2002