org.processmining.plugins.crossorgprocmin.replayer.extended
Classes
FinalMarkingFactoryExt
InitMarkingFactoryExt
MapPattern2TransStepExt
PatternMappingPanelExt