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. 

Gilmore, Stephen

Hillston, Jane

English

This paper surveys the history and the current state of tool supportfor modelling with the PEPA stochastic process algebra and the PEPAnets modelling language. We discuss future directions for tool supportfor the PEPA family of languages

Edinburgh Research Explorer

A Compositional Approach to Performance Modelling.

A PEPA speciﬁcation of an industrial production cell.

An eﬃcient algorithm for aggregating PEPA models.

Analysing performance of lift systems in PEPA.

Analysis of a multimedia stream using stochastic process algebra.

Bisimulation through probabilistic testing.

CUDD: CU Decision Diagram Package.

From SPA models to programs.

Generalised Markovian analysis of timed transition systems. Master’s thesis,

Graphical modelling of process algebras with DrawNET.

Implementing a stochastic process algebra within the M¨ obius modeling framework.

Interface engineering and transient analysis for the PEPA Workbench. Master’s thesis,

Introduction to HOL: A theorem proving environment for higher order logic.

Making the future safe for the past: Adding genericity to the Java programming language.

Numerical Recipes in C: The Art of Scientiﬁc Computing.

PEPA nets: A structured performance modelling formalism. In

Performance modelling with UML and stochastic process algebras.

Pizza into Java: Translating theory into practice.

PRISM: Probabilistic symbolic model checker. In

Re-evaluation of the PEPA Workbench. Master’s thesis,

Techniques for the Construction and Analysis of Algebraic Performance Models.

The concurrency workbench: A semantics-based tool for the veriﬁcation of concurrent systems.

The Deﬁnition of Standard ML: Revised

The Deﬁnition of Standard ML.

The M¨ obius modeling tool.

The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.

A survey of the PEPA tools

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.8518

A survey of the PEPA tools

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer