PEPA nets: a structured performance modelling formalism

In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for linking related PEPA systems. The combined modelling language naturally represents su...

Full description

Saved in:
Bibliographic Details
Published inPerformance evaluation Vol. 54; no. 2; pp. 79 - 104
Main Authors Gilmore, Stephen, Hillston, Jane, Kloul, Leı̈la, Ribaudo, Marina
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.10.2003
Subjects
Cellular network
PEPA
Stochastic process algebra
Stochastic process algebra
Cellular network
PEPA
Online AccessGet full text

Cover

More Information
Summary:In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for linking related PEPA systems. The combined modelling language naturally represents such applications as mobile code systems where the PEPA terms are used to model the program code which moves between network hosts (the places in the net). We describe the implementation of a tool to support this modelling formalism and apply this to model a hierarchical cellular network.
ISSN:0166-5316
1872-745X
DOI:10.1016/S0166-5316(03)00069-5