Id

api

Identifiable

api

IdentifiableOps

api

IdentifiableSeqOps

api

IterableToMarking

MarkingOps

inMarking

PetriNet

incomingNodes

PetriNetGraphNodeOps

incomingPlaces

PetriNet PetriNetGraphNodeOps

incomingTransitions

PetriNet PetriNetGraphNodeOps

ing

com

innerGraph

PetriNet

isCoverable

Node

isNew

Node

isPlace

PetriNetGraphNodeOps

isSubSet

MultiSetFunctions

isTransition

PetriNetGraphNodeOps