|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.petrinet.behavioralanalysis.woflan.Woflan
public class Woflan
Woflan Woflan diagnosis for a Petri net.
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 |
---|
public Woflan()
Method Detail |
---|
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.ExecutionException
java.lang.InterruptedException
java.util.concurrent.CancellationException
java.lang.Exception
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
context
- The context of this plug-in.net
- The net to diagnose.assumptions
- The assumptions to make.
java.util.concurrent.CancellationException
java.lang.InterruptedException
java.util.concurrent.ExecutionException
org.processmining.framework.connections.ConnectionCannotBeObtained
public WoflanState diagnose(WoflanState state) throws org.processmining.framework.connections.ConnectionCannotBeObtained
state
- The current state.
java.util.concurrent.ExecutionException
java.lang.InterruptedException
java.util.concurrent.CancellationException
java.lang.Exception
org.processmining.framework.connections.ConnectionCannotBeObtained
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |