PEPA Eclipse Plug-in
Once you have solved your model you can visualise the results as a bar chart or a pie chart.
Right click to bring up the "Create Graph" button. Double-click on a tab to maximize it or restore it to its original size.
Getting started
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