Continuous approximation of PEPA models and Petri nets

Vashti Galpin

doi:10.1504/IJCAET.2010.035389

Continuous approximation of PEPA models and Petri nets

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	324-339
Number of pages	16
Journal	International Journal of Computer Aided Engineering and Technology
Volume	2
Issue number	4
DOIs	https://doi.org/10.1504/IJCAET.2010.035389
Publication status	Published - 1 Jan 2010

Access to Document

10.1504/IJCAET.2010.035389

Cite this

@article{644a8dade1de4a23a31bf438192ca201,

title = "Continuous approximation of PEPA models and Petri nets",

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.",

author = "Vashti Galpin",

year = "2010",

month = jan,

day = "1",

doi = "10.1504/IJCAET.2010.035389",

language = "English",

volume = "2",

pages = "324--339",

journal = "International Journal of Computer Aided Engineering and Technology",

issn = "1757-2657",

publisher = "Inderscience Publishers",

number = "4",

}

TY - JOUR

T1 - Continuous approximation of PEPA models and Petri nets

AU - Galpin, Vashti

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

U2 - 10.1504/IJCAET.2010.035389

DO - 10.1504/IJCAET.2010.035389

M3 - Article

SN - 1757-2657

VL - 2

SP - 324

EP - 339

JO - International Journal of Computer Aided Engineering and Technology

JF - International Journal of Computer Aided Engineering and Technology

IS - 4

ER -

Continuous approximation of PEPA models and Petri nets

Abstract

Access to Document

Fingerprint

Cite this