Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

When experimenting with a PEPA model it is sometimes necessary to vary two rates at once in order to understand dependencies between rate parameters. A parameterised XY plot allows you to do this. Here we vary a probability p and a rate r together.


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