PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

PEPA Eclipse Plug-in

To see results displayed as a graph you need to turn on the Graph View which is found under LFCS Views.

Select "Windows" > "Show views" > "Other" > "LFCS Views" > "Graph View".

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