org.processmining.plugins.petrinet.behavioralanalysis.woflan
Class Woflan

java.lang.Object
  extended by org.processmining.plugins.petrinet.behavioralanalysis.woflan.Woflan

public class Woflan
extends java.lang.Object

Woflan Woflan diagnosis for a Petri net.

Author:
HVERBEEK

Constructor Summary
Woflan()
          Public constructor of Woflan
 
Method Summary
 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, java.util.Collection<WoflanState> assumptions)
          The Woflan plug-in using assumptions.
 WoflanState diagnose(WoflanState state)
          Takes a next diagnosis step.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Woflan

public Woflan()
Public constructor of Woflan

Method Detail

diagnose

public WoflanDiagnosis diagnose(org.processmining.framework.plugin.PluginContext context,
                                org.processmining.models.graphbased.directed.petrinet.Petrinet net)
                         throws java.lang.Exception
The Woflan plug-in using no assumptions.

Parameters:
context - The context of this plug-in.
net - The net to diagnose.
Returns:
The diagnosis of the net.
Throws:
java.util.concurrent.ExecutionException
java.lang.InterruptedException
java.util.concurrent.CancellationException
java.lang.Exception

diagnose

public WoflanDiagnosis diagnose(org.processmining.framework.plugin.PluginContext context,
                                org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                java.util.Collection<WoflanState> assumptions)
                         throws org.processmining.framework.connections.ConnectionCannotBeObtained
The Woflan plug-in using assumptions.

Parameters:
context - The context of this plug-in.
net - The net to diagnose.
assumptions - The assumptions to make.
Returns:
The diagnosis of the net, given the assumptions.
Throws:
java.util.concurrent.CancellationException
java.lang.InterruptedException
java.util.concurrent.ExecutionException
org.processmining.framework.connections.ConnectionCannotBeObtained

diagnose

public WoflanState diagnose(WoflanState state)
                     throws org.processmining.framework.connections.ConnectionCannotBeObtained
Takes a next diagnosis step.

Parameters:
state - The current state.
Returns:
The next state.
Throws:
java.util.concurrent.ExecutionException
java.lang.InterruptedException
java.util.concurrent.CancellationException
java.lang.Exception
org.processmining.framework.connections.ConnectionCannotBeObtained