public class ToResetNet
extends java.lang.Object
Constructor and Description |
---|
ToResetNet() |
Modifier and Type | Method and Description |
---|---|
static java.lang.Object[] |
fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static java.lang.Object[] |
fromPetrinet(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
public static java.lang.Object[] fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public static java.lang.Object[] fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained