Improved continuous approximation of PEPA models through epidemiological examples

DOI10.1016/J.ENTCS.2009.02.005MaRDI QIDQ5404074zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland

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.005

zbMATH Keywords

process algebraPEPAindividual based modelchanging scalepopulation based model

Mathematics Subject Classification ID

Epidemiology (92D30) Qualitative investigation and simulation of ordinary differential equation models (34C60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra
• Relating continuous and discrete PEPA models of signalling pathways
• Fluid analysis for a PEPA model
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• Bio-PEPA: A framework for the modelling and analysis of biological systems

Cites work

• Analysis of a multimedia stream using stochastic process algebra
• BioAmbients: an abstraction for biological compartments
• On process rate semantics
• Process Algebra Models of Population Dynamics
• Processes with probabilities, priority and time

Cited in

(6)

• From individuals to populations: a mean field semantics for process algebra
• Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra
• Fundamental results on the reactionâdiffusion equations associated with a PEPA model
• Asymptotic behaviour of a conservative reaction-diffusion system associated with a Markovian process algebra model
• On reaction-diffusion equations derived from a PEPA model
• Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets

Describes a project that uses

Uses Software

• PEPA
• ipc

This page was built for publication: Improved continuous approximation of PEPA models through epidemiological examples

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404074)