PEPA - Performance Evaluation Process Algebra

PEPA

Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

When experimenting with a PEPA model it is sometimes necessary to vary two rates at once in order to understand dependencies between rate parameters. A parameterised XY plot allows you to do this. Here we vary a probability p and a rate r together.

Tutorials

State-space generation and navigation

Using the single step navigator
Filtering the state-space to display only some of the reachable states
Exporting the state-space and generator matrix of the Markov chain to files
Aggregate your PEPA model to reduce the number of reachable states
Rotating your state space before solving the underlying Markov chain

Markovian modelling and experimentation

Markovian analysis of PEPA models
Visualising the results as a bar chart or a pie chart
Enabling the graph view
Experimenting on a PEPA model to discover the effect of varying one of the rates
Experimenting on a PEPA model to discover the effect of varying two of the rates

Contact addresses: Jane Hillston and Stephen Gilmore, {jeh,stg}@inf.ed.ac.uk.
Laboratory for Foundations of Computer Science, The University of Edinburgh.
Last modified: Friday 18 November 2011