org.processmining.plugins.petrinet.finalmarkingprovider

Class FinalMarkingFactory