Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
From MaRDI portal
Publication:5404080
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
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
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