org.processmining.datapetrinets.validation
Classes
ConvertToCPNTools
CPNAnalysisResults
CPNAnalysisResultsVisualizer
DeadLockTableModel
DPNSoundness
SoundnessOfPetriNets