Modifier and Type | Method and Description |
---|---|
EfficientStochasticPetriNetSemanticsImpl |
EfficientStochasticPetriNetSemanticsImpl.clone() |
Constructor and Description |
---|
TransitionMap(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
EfficientStochasticPetriNetSemanticsImpl semantics) |
Constructor and Description |
---|
StochasticTransition2IndexKey(EfficientStochasticPetriNetSemanticsImpl semantics,
Activity2IndexKey activityKey) |