PEPA Eclipse Plug-in
When experimenting with a PEPA model it is sometimes necessary to vary two rates at once in order to understand dependencies between rate parameters. A parameterised XY plot allows you to do this. Here we vary a probability p and a rate r together.
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