PEPA Eclipse Plug-in
The single-step navigator allows you to step through your PEPA model and investigate the possible activities which can take place. To run the single-step navigator you first need to derive the reachable state space of the model. You do not need to have performed steady-state analysis.
Right-click on a state in the state-space view to start the single-step navigator from that state. Double-click on an activity to progress to the next state.
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