public class MurataUtils
extends java.lang.Object
Constructor and Description |
---|
MurataUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addArc(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode target,
int weight)
Adds an arc with given source, target, and weight to the given net.
|
static void |
resetPlace(org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.petrinet.elements.Place place)
Remove all tokens from the given place in the given marking.
|
static void |
updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc)
Update the label of the given arc.
|
static void |
updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
org.processmining.models.semantics.petrinet.Marking marking)
Update the label of the given place given the current marking.
|
public static void updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc)
arc
- The given arc.public static void updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.semantics.petrinet.Marking marking)
place
- The given place.marking
- The current marking.public static void addArc(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.PetrinetNode source, org.processmining.models.graphbased.directed.petrinet.PetrinetNode target, int weight)
net
- The given net.source
- The given source.target
- The given target.weight
- The given weight.public static void resetPlace(org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.petrinet.elements.Place place)
marking
- The given marking.place
- The given place.