PEPA Eclipse Plug-in
It is possible to save both the state-space of the PEPA model and the generator matrix of the underlying Markov chain for separate processing and analysis.
You must have generated the state-space already. If you have already solved the Markov chain for its steady-state distribution then it is possible to save this also.
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