A survey of the PEPA tools

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

Abstract

This paper surveys the history and the current state of tool support
for modelling with the PEPA stochastic process algebra and the PEPA
nets modelling language. We discuss future directions for tool support
for the PEPA family of languages.
Original languageEnglish
Title of host publicationProceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti)
Pages40-49
Number of pages10
Publication statusPublished - Jun 2003

Fingerprint Dive into the research topics of 'A survey of the PEPA tools'. Together they form a unique fingerprint.

Cite this