org.processmining.plugins.petrinet.behavioralanalysis.woflan

Class Woflan

java.lang.Object

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

Constructors

Constructor and Description
Woflan() Public constructor of Woflan

Method Summary

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.

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,
                                WoflanAssumptions 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