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