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.
Getting started
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