Tutorials on the PEPA Eclipse Plugin

Getting started

• Installing the PEPA Eclipse Plugin in Eclipse

State-space generation and navigation

• Using the single step navigator
• Filtering the state-space to display only some of the reachable states
• Exporting the state-space and generator matrix of the Markov chain to files
• Aggregate your PEPA model to reduce the number of reachable states

Markovian modelling and experimentation

• Markovian analysis of PEPA models
• Visualising the results as a bar chart or a pie chart
• Enabling the graph view
• Experimenting on a PEPA model to discover the effect of varying one of the rates
• Experimenting on a PEPA model to discover the effect of varying two of the rates