PEPA Nets: A Structured Performance Modelling Formalism

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


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 combining 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 peer-to-peer filestore.
Original languageEnglish
Title of host publicationComputer Performance Evaluation: Modelling Techniques and Tools
Subtitle of host publication12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings
EditorsTony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder
PublisherSpringer-Verlag GmbH
Number of pages20
ISBN (Electronic)978-3-540-46029-9
ISBN (Print)978-3-540-43539-6
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'PEPA Nets: A Structured Performance Modelling Formalism'. Together they form a unique fingerprint.

Cite this