PEPA - Performance Evaluation Process Algebra

PEPA

Performance Evaluation Process Algebra

Tutorials on the PEPA Eclipse Plugin

Tutorials

Getting started Installing the PEPA Eclipse Plugin in Eclipse
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