public class Woflan
extends java.lang.Object
| Constructor and Description |
|---|
Woflan()
Public constructor of Woflan
|
| Modifier and Type | Method and Description |
|---|---|
WoflanDiagnosis |
diagnose(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
The Woflan plug-in using no assumptions.
|
WoflanDiagnosis |
diagnose(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
WoflanAssumptions assumptions)
The Woflan plug-in using assumptions.
|
WoflanState |
diagnose(WoflanState state)
Takes a next diagnosis step.
|
public WoflanDiagnosis diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws java.lang.Exception
context - The context of this plug-in.net - The net to diagnose.java.util.concurrent.ExecutionExceptionjava.lang.InterruptedExceptionjava.util.concurrent.CancellationExceptionjava.lang.Exceptionpublic WoflanDiagnosis diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, WoflanAssumptions assumptions) throws org.processmining.framework.connections.ConnectionCannotBeObtained
context - The context of this plug-in.net - The net to diagnose.assumptions - The assumptions to make.java.util.concurrent.CancellationExceptionjava.lang.InterruptedExceptionjava.util.concurrent.ExecutionExceptionorg.processmining.framework.connections.ConnectionCannotBeObtainedpublic WoflanState diagnose(WoflanState state) throws org.processmining.framework.connections.ConnectionCannotBeObtained
state - The current state.java.util.concurrent.ExecutionExceptionjava.lang.InterruptedExceptionjava.util.concurrent.CancellationExceptionjava.lang.Exceptionorg.processmining.framework.connections.ConnectionCannotBeObtained