PEPA Nets

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationPerformance Tools and Applications to Networked Systems
Subtitle of host publicationRevised Tutorial Lectures
EditorsMaria Carla Calzarossa, Erol Gelenbe
PublisherSpringer-Verlag GmbH
Pages311-335
Number of pages25
ISBN (Electronic)978-3-540-24663-3
ISBN (Print)978-3-540-21945-3
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume2965
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'PEPA Nets'. Together they form a unique fingerprint.

Cite this