|
Informatics Report Series
|
|
|
|
|
|
|
|
|
| Title:PEPA nets: a structured performance modelling formalism |
| Authors:
Stephen Gilmore
; Jane Hillston
; Leila Kloul
; Marina Ribaudo
|
| Date:Oct 2003 |
| Publication Title:Performance Evaluation |
| Publisher:Elsevier |
|
Publication Type:Journal Article
Publication Status:Published
|
|
Volume No:54(2)
Page Nos:79-104
|
|
DOI:10.1016/S0166-5316(03)00069-5
|
- Abstract:
-
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.
- Copyright:
- 2006 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- Elsevier ScienceDirect homepage
- Stephen Gilmore's homepage
- Bibtex format
- @Article{EDI-INF-RR-0776,
- 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 = {http://dx.doi.org/10.1016/S0166-5316(03)00069-5},
- }
|
