public class MarkingDiscoverer
extends java.lang.Object
Constructor and Description |
---|
MarkingDiscoverer() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.semantics.petrinet.Marking |
constructFinalMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
static org.processmining.models.semantics.petrinet.Marking |
constructInitialMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
static void |
createFinalMarkingConnection(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
static void |
createInitialMarkingConnection(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
public static org.processmining.models.semantics.petrinet.Marking constructInitialMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public static org.processmining.models.semantics.petrinet.Marking constructFinalMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public static void createInitialMarkingConnection(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking)
public static void createFinalMarkingConnection(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking finalMarking)