PEPA — Performance Evaluation Process Algebra

PEPA Eclipse Plug-in

It is possible to save both the state-space of the PEPA model and the generator matrix of the underlying Markov chain for separate processing and analysis.

You must have generated the state-space already. If you have already solved the Markov chain for its steady-state distribution then it is possible to save this also.

Getting started

State-space generation and navigation

Markovian modelling and experimentation