Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:PEPA nets: a structured performance modelling formalism
Authors: Stephen Gilmore ; Jane Hillston ; Leila Kloul ; Marina Ribaudo
Date:Oct 2003
Publication Title:Performance Evaluation
Publication Type:Journal Article Publication Status:Published
Volume No:54(2) Page Nos:79-104
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.
2006 by The University of Edinburgh. All Rights Reserved
Links To Paper
Elsevier ScienceDirect homepage
Stephen Gilmore's homepage
Bibtex format
author = { Stephen Gilmore and Jane Hillston and Leila Kloul and Marina Ribaudo },
title = {PEPA nets: a structured performance modelling formalism},
journal = {Performance Evaluation},
publisher = {Elsevier},
year = 2003,
month = {Oct},
volume = {54(2)},
pages = {79-104},
doi = {10.1016/S0166-5316(03)00069-5},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh