Package org.processmining.analysis.petrinet

Class Summary
PetriNetAnalysis  
PetriNetAnalysisUI  
StateSpaceCalculatorUI  
StateSpaceRegionCalculator  
WoflanAnalysis Title: WoflanAnalysis
WoflanAnalysisUI Title: WoflanAnalysisUI