public final class MarkingsHelper
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkingsOrEmpty(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Returns the final markings, if available either as part of the Petrinet,
or in the given context.
|
static org.processmining.models.semantics.petrinet.Marking |
getInitialMarkingOrEmpty(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Returns the initial marking, if available either as part of the Petrinet,
or in the given context.
|
static org.processmining.models.semantics.petrinet.Marking |
guessFinalMarkingByStructure(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static org.processmining.models.semantics.petrinet.Marking |
guessInitialMarkingByStructure(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static boolean |
hasNonEmptyFinalMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Returns true only if the Petrinet has an non-empty final markings known
in the context or as part of the Petrinet object itself.
|
static boolean |
hasNonEmptyInitialMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Returns true only if the Petrinet has an non-empty initial marking known
in the context or as part of the Petrinet object itself.
|
public static org.processmining.models.semantics.petrinet.Marking[] getFinalMarkingsOrEmpty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static org.processmining.models.semantics.petrinet.Marking getInitialMarkingOrEmpty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static boolean hasNonEmptyInitialMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static boolean hasNonEmptyFinalMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static org.processmining.models.semantics.petrinet.Marking guessFinalMarkingByStructure(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
public static org.processmining.models.semantics.petrinet.Marking guessInitialMarkingByStructure(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)