Event
EventSourcing
EventSourcing
execution
ExceptionState
execution
ExceptionStrategy
colored
ExecutablePetriNet
colored
empty
Marking MultiSet
enabled
PetriNetAnalysis
enabledParameters
TokenGame ColoredTokenGame
enabledTransitions
TokenGame ColoredTokenGame
eventSourcing
SequenceNet StateTransitionNet
exceptionHandler
TransitionBehaviour
exceptionStrategy
Transition AbstractTransition TransitionFailedEvent
execution
kagera