Relating continuous and discrete PEPA models of signalling pathways

DOI10.1016/j.tcs.2008.04.012zbMath1151.68038MaRDI QIDQ953546

Nil Geisweiller, Jane Hillston, Marco Stenico

Publication date: 6 November 2008

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.012

zbMATH Keywords

ODEs; PEPA; CTMC; Kurtz's theorem

Mathematics Subject Classification ID

92C40: Biochemistry, molecular biology

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

92C37: Cell biology

Related Items

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA, On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation, Probabilistic approximations of ODEs based bio-pathway dynamics, Fluid computation of passage-time distributions in large Markov models, Hybrid dynamics of stochastic programs, A fluid analysis framework for a Markovian process algebra, Modelling patterns of gene regulation in the bond-calculus, Bio-PEPA: A framework for the modelling and analysis of biological systems, Exact fluid lumpability in Markovian process algebra, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

Uses Software

• PEPA

Cites Work

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Stochastic Concurrent Constraint Programming and Differential Equations
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Computational Methods in Systems Biology