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