AbstractTransition
transitions
Arc
colored
add
MarkingAdditions
allElements
MultiSetOps
api
kagera
apply
HMap Marking Place Transition UncoloredTransition MultiSet
arc
dsl
asPlace
PetriNetGraphNodeTAdditions
asTransition
PetriNetGraphNodeTAdditions TransitionBehaviour
automated
TransitionBehaviour