public class Net2DeclareAuto
extends java.lang.Object
Constructor and Description |
---|
Net2DeclareAuto() |
Modifier and Type | Method and Description |
---|---|
static org.deckfour.xes.model.XLog |
getLog() |
static java.util.Set<DeclarePairsL> |
getStats(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.lang.String A,
java.lang.String B) |
static java.util.Set<DeclarePairsL> |
net2Declare(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet pn) |
public static java.util.Set<DeclarePairsL> net2Declare(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinet.models.AcceptingPetriNet pn)
public static java.util.Set<DeclarePairsL> getStats(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.lang.String A, java.lang.String B)
public static org.deckfour.xes.model.XLog getLog()