PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

PEPA Eclipse Plug-in

To solve the Markov chain underlying a PEPA model you first need to derive the reachable state space of the model. After this you can perform steady-state analysis.

Select "PEPA" > "CTMC" > "Derive" to generate the state-space. Select "PEPA" > "CTMC" > "Steady-state analysis" to solve the Markov chain.

Note: The PEPA menu will be greyed out unless the focus is on a PEPA file in the editor.

Tutorials

State-space generation and navigation Markovian modelling and experimentation

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