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