optimize

PetriNetAnalysis

outMarking

PetriNet

outgoingNodes

PetriNetGraphNodeOps

outgoingPlaces

PetriNet PetriNetGraphNodeOps

outgoingTransitions

PetriNet PetriNetGraphNodeOps