org.processmining.plugins.wendy

Class Wendy_Executor

java.lang.Object

org.processmining.plugins.wendy.Wendy_Executor

public class Wendy_Executor
extends java.lang.Object

Wrapper for the execution of Wendy.

Since:

March 2010

Version:

March 2010

Author:

nlohmann

Method Summary

Methods

Modifier and Type	Method and Description
Configuration	executeWendy(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking m)
static org.processmining.models.graphbased.AbstractGraphElement	getNode(java.lang.String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getNode

public static org.processmining.models.graphbased.AbstractGraphElement getNode(java.lang.String name)

executeWendy

public Configuration executeWendy(org.processmining.framework.plugin.PluginContext context,
                         org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                         org.processmining.models.semantics.petrinet.Marking m)
                           throws java.io.IOException,
                                  java.lang.InterruptedException

Throws:

java.io.IOException

java.lang.InterruptedException