org.processmining.analysis.petrinet
Classes
PetriNetAnalysis
PetriNetAnalysisUI
StateSpaceCalculatorUI
StateSpaceRegionCalculator
WoflanAnalysis
WoflanAnalysisUI