Package org.processmining.plugins.petrinet.reduction

Class MurataUtils

  • public class MurataUtils
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      MurataUtils()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method 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.

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