ExceptionStrategy
colored
ExecutablePetriNet
colored
empty
Marking
MultiSet
enabled
PetriNetAnalysis
enabledParameters
TokenGame
ColoredTokenGame
enabledTransitions
TokenGame
ColoredTokenGame
eventSourcing
StateTransitionNet
exceptionStrategy
Transition
AbstractTransition