Bio-PEPA for Epidemiological Models

Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread and to predict their future evolution. Most of the models in the literature are defined in terms of systems of differential equations and only a few of them propose stochastic simulation for the analysis. The main aim of this work is to apply the process algebra Bio-PEPA for the modelling and analysis of epidemiological models. As Bio-PEPA has been originally defined for biochemical networks, we define a variant of it suitable for representing epidemiological models. Some features

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Federica Ciocchetta, Jane Hillston
• Keywords: ENTCS 2010, Epidemiological Models, Many Models, Process Algebra Bio-pepa