Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

The PEPA Eclipse Plug-in implements an aggregation algorithm to reduce the number of states in the reachable state-space by exploiting symmetries in the model. This reduction does not change the performance results which are computed from the model.

Note: This option has no effect on PEPA models which do not use arrays of components. You can leave the option to aggregate the model turned on all the time.


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