Continuous approximation of PEPA models and Petri nets

V. Galpin

International Journal of Computer Aided Engineering and Technology, 2:324-339, 2010.


Proceedings of the European Simulation and Modelling Conference (ESM 2008), Le Havre, France, 27-29 October 2008. 492-499.


Modelling very large systems that consist of many similar components can lead to state space explosion. A continuous approximation of the system can be used to avoid this problem. In the stochastic process algebra PEPA, models with large numbers of identical components can be approximated in a continuous fashion by a set of coupled ordinary differential equations (ODEs). Similarly, timed continuous Petri nets can be used to approximate behaviour via ODEs where there are many servers. These two approaches are compared and infinite and finite server semantics are considered. 

Preprint (final version) - PDF 

Full text - PDF 

Slides - PDF


Back to Publications page