public class Net2DeclareL
extends java.lang.Object
Constructor and Description |
---|
Net2DeclareL() |
Modifier and Type | Method and Description |
---|---|
static org.deckfour.xes.model.XLog |
getLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static java.util.Set<DeclarePairsL> |
net2Declare(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> initMarking,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> finalMarking) |
static AggregatedHeuristicsL |
net2Declare(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
public static AggregatedHeuristicsL net2Declare(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.deckfour.xes.model.XLog getLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static java.util.Set<DeclarePairsL> net2Declare(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> initMarking, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> finalMarking)