| AdvancedSimulator |
Event based simulator.
|
| LogLocationDelayInducer |
This class takes a location unaware log and transforms it into a location
aware log.
|
| 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.
|
| PNSimulatorConfigUI |
A configuration window containing properties for the configuration
of the simple simulator PNSimulator. |
| PNSimulatorPlugin |
Deprecated.
|
| PNTimeSeriesSimulator |
A stochastic Petri net simulator that replaces each timed transition's distribution with a
time series predictor.
|
| PNUnfoldedSimulator |
Idea: Use one unfolded model for multiple traces.
|
| TopologyLayout<V,E> |
|
| VisitState |
A State to visit during exploration
TODO: make more compact (e.g.
|
| WorldConfiguration |
|