org.processmining.plugins.petrinet.finalmarkingprovider

Class MarkingEditorPanel