PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

PEPA

Occasionally it can be helpful to rotate your state space before solving the underlying Markov chain, as seen in the example below.

Hope this helps.

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