PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)79-104
Number of pages26
JournalPerformance Evaluation
Issue number2
Publication statusPublished - Oct 2003


  • Cellular network

Fingerprint Dive into the research topics of 'PEPA nets: a structured performance modelling formalism'. Together they form a unique fingerprint.

  • PEPA Nets: A Structured Performance Modelling Formalism

    Gilmore, S., Hillston, J. & Ribaudo, M., 2002, Computer Performance Evaluation: Modelling Techniques and Tools: 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings. Field, T., Harrison, P. G., Bradley, J. & Harder, U. (eds.). Springer-Verlag GmbH, p. 111-130 20 p. (Lecture Notes in Computer Science; vol. 2324).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access

Cite this