PEPA Eclipse Plug-in
Sometimes it is useful to filter the state-space to see only a subset of the reachable states. State filters allow you to do this.
Right-click to add conditions to the filter.
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