A survey of the PEPA tools

Stephen Gilmore, Jane Hillston

Research output: Chapter in Book/Report/Conference proceeding › Conference 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

Access to Document

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

    Cite this