calculateCoverabilityTree

PetriNetAnalysis

children

Node

com

root

copyOff

MultiSet