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

DOI10.1016/j.entcs.2009.02.010zbMath1283.92036OpenAlexW2088846696WikidataQ59675359 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 chainsordinary differential equationsanalysisprocess algebrassystems biology

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (11)

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

This page was built for publication: Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA