public class FlexFromPN
extends java.lang.Object
| Constructor and Description |
|---|
FlexFromPN() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object[] |
convertToFM(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
convertToFM(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
public java.lang.Object[] convertToFM(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking)
public java.lang.Object[] convertToFM(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)