Continuous approximation of PEPA models and Petri nets

Research output: Contribution to journalArticlepeer-review

Abstract

Modelling very large systems that consist of many similar components can lead to a 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.
Original languageEnglish
Pages (from-to)324-339
Number of pages16
JournalInternational Journal of Computer Aided Engineering and Technology
Volume2
Issue number4
DOIs
Publication statusPublished - 1 Jan 2010

Fingerprint

Dive into the research topics of 'Continuous approximation of PEPA models and Petri nets'. Together they form a unique fingerprint.

Cite this