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