unboundedEnabled

PetriNetAnalysis

unmarshall

MarkingUnMarshall