Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 1, 2009, Pages 59-74

  Benkirane, Soufiene ^a   Hillston, Jane ^b   McCaig, Chris ^a   Norman, Rachel ^a   Shankland, Carron ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

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

Indexed keywords

ALGEBRA; ORDINARY DIFFERENTIAL EQUATIONS; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

CHANGING SCALE; INDIVIDUAL BASED MODEL; PEPA; POPULATION BASED MODEL; PROCESS ALGEBRA;

STOCHASTIC MODELS;

EID: 60449111291     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.005     Document Type: Article

References (17)

1. H. Bowman, J. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebra. In C. Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998
2. Bradley J.T., Dingle N.J., Gilmore S.T., and Knottenbelt W.J. Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler. In: Kotsis G. (Ed). Proc. of the 11th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (October 2003), IEEE Computer Society Press 344-351 University of Central Florida
3. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Proceedings of BioCONCUR 2004. Electronic Notes in Theoretical Computer Science (2004) Elsevier
4. Cardelli L. On process rate semantics. Theoretical Computer Science 391 (2008) 190-215
5. Gillespie D.T. Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81 25 (1977) 2340-2361
6. Gilmore S., Tribastone M., Duguid A., and Clark A. Pepa plug-in for eclipse (2008). homepages.inf.ed.ac.uk/mtribast/plugin/
7. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
8. Hillston J. Fluid Flow Approximation of PEPA models. QEST'05, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (September 2005), IEEE Computer Society Press 33-42 Torino
9. Hillston J. Tuning systems: From composition to performance. The Computer Journal 48 4 (May 2005) 385-400 The Needham Lecture paper
10. Hillston J., Kloul L., and Mokhtari A. Towards a feasible active networking scenario. Telecommunication Systems 27 2-4 (October 2004) 413-438
11. Kermack W.O., and McKendrick A.G. Contributions to the mathematical theory of epidemics. Proceedings of the Royal Society of London A 115 (1927) 700-721
12. C. McCaig. From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling, 2008; Available from www.cs.stir.ac.uk/~cmc/thesis.ps
13. C. McCaig, R. Norman, and C. Shankland. An algorithm for deriving mean field equations from large process algebra models. Technical Report 175, University of Stirling, 2008
14. Norman R., and Shankland C. Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science volume 2809 (2003), Springer-Verlag 404-414
15. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. Bioambients: an abstraction for biological compartments. Theoretical Computer Science 325 (2004) 141-167
16. Thomas N., Bradley J.T., and Knottenbelt W.J. Stochastic analysis of scheduling strategies in a grid-based resource model. IEE Software Engineering 151 5 (September 2004) 232-239
17. Tofts C. Processes with probabilities, priority and time. Formal Aspects of Computing 6 (1994) 536-564