PEPA — Performance Evaluation Process Algebra

Tutorials on the PEPA Eclipse Plugin

Aggregating arrays Experimenting Using the graph view Generating the Markov chain Generating a parameterised plot Saving the statespace Using the single step navigator Adding state filters Visualising the results

Getting started

State-space generation and navigation

Markovian modelling and experimentation