unboundedEnabled

PetriNetAnalysis

uninitialized

Instance