Research output

Conference Paper (in Formal Publication) ()

Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Benkirane S, Hillston J, McCaig C, Norman R & Shankland C (2009) Improved Continuous Approximation of PEPA Models through Epidemiological Examples In: . From Biology To Concurrency and back (FBTC 2008), A Satellite Workshop of ICALP 2008, 12.7.2008 - 12.7.2008, Electronic Notes in Theoretical Computer Science, 229 (1), pp. 59-74.

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

process algebra; systems biology; theoretical computer science; ODE generation

Subject headings
Parallel processing (Electronic computers); Electronic data processing Distributed processing; Disease Transmission; Epidemiology; Mathematical models

AuthorsBenkirane Soufiene, Hillston Jane, McCaig Chris, Norman Rachel, Shankland Carron
Publication date2009
ISSN 1571-0661

Electronic Notes in Theoretical Computer Science: Volume 229, Issue 1 (2008)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal