PEPA - Performance Evaluation Process Algebra

PEPA

Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

Once you have solved your model you can visualise the results as a bar chart or a pie chart.

Right click to bring up the "Create Graph" button. Double-click on a tab to maximize it or restore it to its original size.

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