PEPA - Performance Evaluation Process Algebra

PEPA

Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

It is possible to save both the state-space of the PEPA model and the generator matrix of the underlying Markov chain for separate processing and analysis.

You must have generated the state-space already. If you have already solved the Markov chain for its steady-state distribution then it is possible to save this also.

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