Performance Evaluation Process Algebra

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.


State-space generation and navigation Markovian modelling and experimentation

Contact addresses: Jane Hillston and Stephen Gilmore, {jeh,stg}
    Laboratory for Foundations of Computer Science, The University of Edinburgh.
Last modified: Friday 18 November 2011