public class DPNUtility
extends java.lang.Object
Constructor and Description |
---|
DPNUtility() |
Modifier and Type | Method and Description |
---|---|
static void |
checkMarkings(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static boolean |
createMarking(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
java.lang.Class<? extends org.processmining.framework.connections.Connection> classType)
TODO: Write Javadoc
|
static org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
TODO: Write Javadoc
|
static org.processmining.models.semantics.petrinet.Marking |
getInitialMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
TODO: Write Javadoc
|
static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPlaceMap(PetriNetWithData net)
TODO: Write Javadoc
|
static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitionMap(PetriNetWithData net)
TODO: Write Javadoc
|
static org.processmining.models.semantics.petrinet.Marking |
mergeMarkings(PetriNetWithData net,
org.processmining.models.semantics.petrinet.Marking markingA,
org.processmining.models.semantics.petrinet.Marking markingB)
TODO: Write Javadoc
|
public static void checkMarkings(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static boolean createMarking(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, java.lang.Class<? extends org.processmining.framework.connections.Connection> classType)
context
- net
- classType
- public static org.processmining.models.semantics.petrinet.Marking getInitialMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
context
- net
- public static org.processmining.models.semantics.petrinet.Marking mergeMarkings(PetriNetWithData net, org.processmining.models.semantics.petrinet.Marking markingA, org.processmining.models.semantics.petrinet.Marking markingB)
net
- markingA
- markingB
- public static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMap(PetriNetWithData net)
net
- public static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMap(PetriNetWithData net)
net
-