Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

Once you have solved your model you can visualise the results as a bar chart or a pie chart.

Right click to bring up the "Create Graph" button. Double-click on a tab to maximize it or restore it to its original size.


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