PEPA Eclipse Plug-in

To see results displayed as a graph you need to turn on the Graph View which is found under LFCS Views.

Select "Windows" > "Show views" > "Other" > "LFCS Views" > "Graph View".

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