Constant Field Values

Contents

• org.processmining.*

org.processmining.*

org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanConnection

Modifier and Type	Constant Field	Value
public static final java.lang.String	DIAGNOSIS	"Diagnosis"
public static final java.lang.String	NET	"Net"

org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanHelp

Modifier and Type	Constant Field	Value
public static final java.lang.String	TEXT	"Analyzes and diagnozes the given Petri net for the soundness property. The entire analysis is done in such a way that \"cheap\" (like structural) properties are checked first. Only if analysis is incomplete after these properties have been checked, will the \"expensive\" (behavioral) properties will be checked. Typically, if this plug-in takes heaps of time, the net is not sound."