org.processmining.plugins.petrinet.behavioralanalysis.woflan
Classes 
Woflan
WoflanConnection
WoflanDiagnosis
WoflanSemantics
Enums 
WoflanState