org.processmining.plugins.petrinet.reduction
Class MurataUtils

java.lang.Object
  extended by org.processmining.plugins.petrinet.reduction.MurataUtils

public class MurataUtils
extends java.lang.Object


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

MurataUtils

public MurataUtils()
Method Detail

updateLabel

public static void updateLabel(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc)
Update the label of the given arc. Note that the arc weight is displayed on the arc, hence after changing the arc weight the label needs to be updated.

Parameters:
arc - The given arc.

updateLabel

public 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. Added in case the marking needs to be inserted for some reason in the label of a place.

Parameters:
place - The given place.
marking - The current marking.

addArc

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)
Adds an arc with given source, target, and weight to the given net. However, if an arc from source to target already exists, the weight is added to the weight of this existing arc instead. This way, we enforce that there is only one regular arc from source to target.

Parameters:
net - The given net.
source - The given source.
target - The given target.
weight - The given weight.

resetPlace

public 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.

Parameters:
marking - The given marking.
place - The given place.