×

PEPA nets: A structured performance modelling formalism. (English) Zbl 1047.68527

Field, Tony (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14–17, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43539-5). Lect. Notes Comput. Sci. 2324, 111-130 (2002).
Summary: 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.
For the entire collection see [Zbl 0992.00046].

MSC:

68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Software:

PRISM; Möbius; PEPA
PDFBibTeX XMLCite
Full Text: Link