Class and Description |
---|
PNSimulatorConfig
Configuration parameters for the simple simulation of (stochastic) Petri Nets.
|
Class and Description |
---|
PNSimulator
Very plain simulator only used for evaluation of the evaluation of the mining of stochastic Petri nets
and the repair-log plug-in.
|
PNSimulatorConfig
Configuration parameters for the simple simulation of (stochastic) Petri Nets.
|
VisitState
A State to visit during exploration
TODO: make more compact (e.g.
|
WorldConfiguration |