Package org.processmining.petrinets.utils

Class PetriNetUtils

java.lang.Object

org.processmining.petrinets.utils.PetriNetUtils

public class PetriNetUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PetriNetUtils()

Method Summary

Modifier and Type	Method	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetUtils

public PetriNetUtils()

Method Detail

addInitialMarking

public static void addInitialMarking(org.processmining.framework.plugin.PluginContext context,
                                     Petrinet net,
                                     Marking marking)

addFinalMarking

public static void addFinalMarking(org.processmining.framework.plugin.PluginContext context,
                                   Petrinet net,
                                   Marking marking)

getInitialMarkings

public static Marking[] getInitialMarkings(org.processmining.framework.plugin.PluginContext context,
                                           Petrinet net)

getFinalMarkings

public static Marking[] getFinalMarkings(org.processmining.framework.plugin.PluginContext context,
                                         Petrinet net)

getNumberOfInitialMarkings

public static int getNumberOfInitialMarkings(org.processmining.framework.plugin.PluginContext context,
                                             Petrinet net)

getNumberOfFinalMarkgins

public static int getNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
                                           Petrinet net)

hasInitialMarkings

public static boolean hasInitialMarkings(org.processmining.framework.plugin.PluginContext context,
                                         Petrinet net)

hasNumberOfFinalMarkgins

public static boolean hasNumberOfFinalMarkgins(org.processmining.framework.plugin.PluginContext context,
                                               Petrinet net)