In this chapter 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 demonstrate the modelling capabilities of the formalism on a number of examples, including a mobile server running MobileIP.
|Title of host publication||Performance Tools and Applications to Networked Systems|
|Subtitle of host publication||Revised Tutorial Lectures|
|Editors||Maria Carla Calzarossa, Erol Gelenbe|
|Number of pages||25|
|Publication status||Published - 2004|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|