PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

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.

Tutorials

State-space generation and navigation Markovian modelling and experimentation

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