AbstractTransition
transitions
Arc
colored
AsyncTransitionExecutor
execution
activeJobs
Instance
add
MarkingAdditions
addAllConsumed
TransitionFired
addAllInitialMarking
Initialized
addAllProduced
TransitionFired
addConsumed
TransitionFired
addInitialMarking
Initialized
addProduced
TransitionFired
allElements
MultiSetOps
api
kagera
apply
HMap
Marking
Place
Transition
UncoloredTransition
MultiSet
applyEvent
EventSourcing
arc
dsl
asPlace
PetriNetGraphNodeTAdditions
asTransition
PetriNetGraphNodeTAdditions
TransitionBehaviour
automated
TransitionBehaviour
availableMarking
Instance