
PEPA and WSCCS models associated with the project
We have constructed many models as part of this project, but there is
usually not enough space to include the full model in publications. We
are making the full models available here. Download files are simply
text files.
Measles Models in BioPEPA
DEB Models of Pacific Oyster in BioPEPA
Immunological Models in BioPEPA
Immunological Models in PEPA
Models in PEPA used in the EPA project

InternetWorm.pepa (transmission of malware, taken from J. T. Bradley, S.
T. Gilmore, and J. Hillston, Analysing distributed Internet
worm attacks using continuous statespace approximation of process
algebra models, Journal of Computer and System Sciences,
vol. 74, no. 6, pp. 10131032, 2008.)
 HIV.pepa
(HIV spread within a fluctuating population, taken from C. McCaig, R.
Norman, and C. Shankland, From individuals to populations: A
symbolic process algebra approach to epidemiology,
Mathematics in Computer Science, vol. 2, no. 3, pp. 139155,
2009).
 dining1.pepa (The original problem
is due to C. Hoare, Communicating sequential
processes, Communications of the ACM, vol. 21, pp.
666677, 1978. This version is taken from
S. Benkirane, Process algebra and epidemiology: evaluating
the ability of PEPA to describe biological systems, Ph.D.
dissertation, University of Stirling, 2011, draft, to be submitted in
2011.)
 dining2.pepa (adaptation of above, to
monitor starvation of processes).
 crowd.pepa (crowd movement between town
squares, original idea from M. Massink, D. Latella, A. Bracciali, and J.
Hillston, Modelling Crowd Dynamics in BioPEPA,
in 9th Workshop on Process Algebra and Stochastically Timed Activities,
2010, pp. 111. This model from E. Scott, PEPA & BioPEPA: A Comparison,
2011, final year honours project,
Institute of Computing Science and Mathematics, University of Stirling.).
 gprotein.pepa Activation cycle of
Gproteins. Model adapted from Y. Bao, A. Compagnoni, J. Glavy, and T.
White. Computational Modeling for the Activation Cycle of Gproteins by
Gproteincoupled Receptors. In Proceedings of 4th Workshop on Membrane
Computing and Biologically Inspired Process Calculi, volume 40 of
Electronic Proceedings in Theoretical Computer Science, pages
3953, 2010.
 repressilator.pepaThe cyclic
gene activation repressilator model. Adapted from R. Blossey, L.
Cardelli, and A. Phillips. Compositionality, stochasticity, and
cooperativity in dynamic models of gene regulation. HFSP,
2:1728, 2008.

