public class Net2DeclareNewL
extends java.lang.Object
Constructor and Description |
---|
Net2DeclareNewL() |
Modifier and Type | Method and Description |
---|---|
static boolean |
isEmptyTraceAllowed(org.processmining.acceptingpetrinet.models.AcceptingPetriNet pn) |
static java.util.Set<DeclarePairsL> |
net2Declare(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn) |
public static java.util.Set<DeclarePairsL> net2Declare(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn)
public static boolean isEmptyTraceAllowed(org.processmining.acceptingpetrinet.models.AcceptingPetriNet pn)