Improved Continuous Approximation of PEPA Models Through Epidemiological Examples

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

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We present two individual based models of disease systems using PEPA (Performance Evaluation Process Algebra). The models explore contrasting mechanisms of disease transmission: direct transmission (e.g. measles) and indirect transmission (e.g. malaria, via mosquitos). We extract ordinary differential equations (ODEs) as a continuous approximation to the PEPA models using the Hillston method and compare these with the traditionally used ODE disease models and with the results of stochastic simulation. Improvements to the Hillston method of ODE extraction for this context are proposed, and the new results compare favourably with stochastic simulation results and to ODEs derived for equivalent models in WSCCS (Weighted Synchronous Calculus of Communicating Systems).
Original languageEnglish
Pages (from-to)59-74
Number of pages16
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - 1 Feb 2009

Keywords / Materials (for Non-textual outputs)

  • PEPA
  • changing scale
  • individual based model
  • population based model
  • process algebra


Dive into the research topics of 'Improved Continuous Approximation of PEPA Models Through Epidemiological Examples'. Together they form a unique fingerprint.

Cite this