@Deprecated
public class PackPetrinetPlugin
extends java.lang.Object
Constructor and Description |
---|
PackPetrinetPlugin()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
AcceptingPetriNet |
packDefault(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Deprecated.
|
AcceptingPetriNet |
packParameters(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
PackPetrinetParameters parameters)
Deprecated.
|
public AcceptingPetriNet packDefault(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public AcceptingPetriNet packParameters(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, PackPetrinetParameters parameters)