ExceptionStrategy

colored

ExecutablePetriNet

colored

empty

Marking MultiSet

enabled

PetriNetAnalysis

enabledParameters

TokenGame ColoredTokenGame

enabledTransitions

TokenGame ColoredTokenGame

eventSourcing

SequenceNet StateTransitionNet

exceptionHandler

TransitionBehaviour

exceptionStrategy

Transition AbstractTransition