|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.petrinet.reduction.MurataUtils
public class MurataUtils
Constructor Summary | |
---|---|
MurataUtils()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MurataUtils()
Method Detail |
---|
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.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |