OptionOps

api

optimize

PetriNetAnalysis

option

OptionOps

out

TransitionAdjacency

outMarking

PetriNet PetriNetGraphAdditions ScalaGraphPetriNet

outgoingEdgeA

PetriNetGraphNodeTAdditions

outgoingEdgeB

PetriNetGraphNodeTAdditions

outgoingPlaces

PetriNet PetriNetGraphAdditions PetriNetGraphNodeTAdditions ScalaGraphPetriNet

outgoingTransitions

PetriNet PetriNetGraphAdditions PetriNetGraphNodeTAdditions ScalaGraphPetriNet

output

TransitionFiredEvent