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

DOI10.1016/j.entcs.2009.02.010zbMath1283.92036WikidataQ59675359 ScholiaQ59675359MaRDI QIDQ5404080

Jane Hillston, A. Degasperi, Federica Ciocchetta, Muffy Calder

Publication date: 21 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.010

zbMATH Keywords

Markov chains; ordinary differential equations; analysis; process algebras; systems biology

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

Related Items

Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks, A Model and Analysis of the AKAP Scaffold, Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration, Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling, A process algebra framework for multi-scale modelling of biological systems, A semantic equivalence for Bio-PEPA based on discretisation of continuous values, Probabilistic approximations of ODEs based bio-pathway dynamics, Modular modelling of signalling pathways and their cross-talk, Bio-PEPA: A framework for the modelling and analysis of biological systems, Unwinding biological systems, Approximate analysis of biological systems by hybrid switching jump diffusion

Uses Software

• PRISM
• Bio-PEPA
• PEPA

Cites Work

• Modeling biological systems in stochastic concurrent constraint programming
• Relating continuous and discrete PEPA models of signalling pathways
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Limit theorems for sequences of jump Markov processes approximating ordinary differential processes
• Computational Methods in Systems Biology