Package org.processmining.plugins.petrinet.behavioralanalysis.woflan

Class Summary
Woflan Woflan Woflan diagnosis for a Petri net.
WoflanConnection WoflanConnection Connects a Petri net to its diagnostics and the assumptions made to obtain these diagnostics.
WoflanDiagnosis  
WoflanSemantics  
 

Enum Summary
WoflanState This holds the current state of the diagnosis.