PEPA - Performance Evaluation Process Algebra

PEPA

Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

To see results displayed as a graph you need to turn on the Graph View which is found under LFCS Views.

Select "Windows" > "Show views" > "Other" > "LFCS Views" > "Graph View".

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