ExceptionStrategy

colored

ExecutablePetriNet

colored

empty

Marking MultiSet

enabled

PetriNetAnalysis

enabledParameters

TokenGame ColoredTokenGame

enabledTransitions

TokenGame ColoredTokenGame

eventSourcing

StateTransitionNet

exceptionStrategy

Transition AbstractTransition