Interface | Description |
---|---|
EfficientStochasticPetriNetSemantics |
Class | Description |
---|---|
EfficientStochasticPetriNetSemanticsImpl |
Adapted from EfficientPetrinetSemanticsImpl by Felix Mannhardt and Bas van
Zelst.
|
PrefixProbabilityMarking | |
QueueCombination | |
Transition2LabelMap | |
TransitionMap |
Class to keep track of the three transition types used in stochastic trace
alignments: - index - transition from the Petri net (TimedTransition) -
transition from the alignment (StochasticTransition)
|