Continuous approximation of PEPA models and Petri nets
V. Galpin
International Journal of Computer Aided Engineering and
Technology, 2:324-339, 2010.
and
Proceedings of the European Simulation and Modelling Conference
(ESM 2008), Le Havre, France, 27-29 October 2008. 492-499.
Abstract
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