Generators
colored
get
Marking
getById
IdFn
getByLabel
LabeledFn
getEdge
ColoredPetriNetAdditions
getOrElse
Marking
getOrEmpty
Marking
getTokens
Marking
graph
PetriNetGraphAdditions