Class and Description |
---|
EfficientStochasticPetriNetSemantics |
EfficientStochasticPetriNetSemanticsImpl
Adapted from EfficientPetrinetSemanticsImpl by Felix Mannhardt and Bas van
Zelst.
|
Class and Description |
---|
EfficientStochasticPetriNetSemantics |
EfficientStochasticPetriNetSemanticsImpl
Adapted from EfficientPetrinetSemanticsImpl by Felix Mannhardt and Bas van
Zelst.
|
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)
|
Class and Description |
---|
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)
|
Class and Description |
---|
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)
|