Projects per year
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.
|Title of host publication||Computer Performance Evaluation: Modelling Techniques and Tools|
|Subtitle of host publication||12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings|
|Editors||Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder|
|Number of pages||20|
|Publication status||Published - 2002|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|
Gilmore, S., Hillston, J., Kloul, L. & Ribaudo, M., Oct 2003, In: Performance Evaluation. 54, 2, p. 79-104 26 p.
Research output: Contribution to journal › Article › peer-reviewFile