PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

PEPA Eclipse Plug-in

A common experiment to perform on a PEPA model is to vary a rate and see how this affects a chosen performance metric. This is known as sensivity analysis.

This example evaluates the model eleven times, with the value of the rate parameter r varying from one to eleven in steps of one. Repeating a calculation while varying a parameter like this is known as parameter sweep.

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