OptionOps

api

option

OptionOps

outMarking

PetriNet PetriNetGraphAdditions ScalaGraphPetriNet

outgoingEdgeA

PetriNetGraphNodeTAdditions

outgoingEdgeB

PetriNetGraphNodeTAdditions

outgoingPlaces

PetriNet PetriNetGraphAdditions PetriNetGraphNodeTAdditions ScalaGraphPetriNet

outgoingTransitions

PetriNet PetriNetGraphAdditions PetriNetGraphNodeTAdditions ScalaGraphPetriNet