|
|
PEPA Eclipse Plug-in
The PEPA Eclipse Plug-in implements an aggregation algorithm to reduce the number of states in the reachable state-space by exploiting symmetries in
the model. This reduction does not change the performance results which are computed from the model.
Note: This option has no effect on PEPA models which do not use arrays of components. You can leave the option to aggregate the model turned on all
the time.
Tutorials
| State-space generation and navigation
|
Markovian modelling and experimentation
|
|
