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.

Tutorials