public class Wendy_Plugin
extends java.lang.Object
| Constructor and Description |
|---|
Wendy_Plugin() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object[] |
plug(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
plug(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
public java.lang.Object[] plug(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] plug(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking)
throws java.lang.Exception
java.lang.Exception