public class PetriNetUtils
extends java.lang.Object
Constructor and Description |
---|
PetriNetUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addFinalMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static void |
addInitialMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static Marking[] |
getFinalMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static Marking[] |
getInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static int |
getNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static int |
getNumberOfInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static boolean |
hasInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static boolean |
hasNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
public static void addInitialMarking(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking)
public static void addFinalMarking(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking)
public static Marking[] getInitialMarkings(org.processmining.framework.plugin.PluginContext context, Petrinet net)
public static Marking[] getFinalMarkings(org.processmining.framework.plugin.PluginContext context, Petrinet net)
public static int getNumberOfInitialMarkings(org.processmining.framework.plugin.PluginContext context, Petrinet net)
public static int getNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context, Petrinet net)
public static boolean hasInitialMarkings(org.processmining.framework.plugin.PluginContext context, Petrinet net)
public static boolean hasNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context, Petrinet net)