Package org.processmining.plugins.petrinet.reduction

Class MurataInput

  • public class MurataInput
extends java.lang.Object
    General input for Petri net reduction rules.
    Version:
    0.1
    Author:
    Eric Verbeek

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int ASM  
      static int CSM  
      static int ELP  
      static int ELT  
      static int FPP  
      static int FPT  
      static int FSP  
      static int FST  

    • Constructor Summary

      Constructors 
      Constructor Description
      MurataInput​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
      Constructs a MurataInput given a Petri net and its marking.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
      Adds a node to the sacred nodes.
      void allowRule​(int rule)
      Allows a rule to be applied.
      void disallowRule​(int rule)
      Disallows a rule to be applied.
      org.processmining.models.semantics.petrinet.Marking getMarking()
      Gets the marking (of the Petri net to reduce).
      org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
      Gets the Petri net to reduce.
      boolean isAllowedRule​(int rule)
      Checks whether some rule may be applied.
      boolean isSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
      Checks whether a node is sacred.
      void removeSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
      Removes a node form the sacred nodes.
      void setMarking​(org.processmining.models.semantics.petrinet.Marking marking)
      Sets the marking (of the Petri net to reduce).
      void setNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      Sets the Petri net to reduce.
      void setVisibleSacred​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      Adds the set of transitions with a visible label to the sacred nodes.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • MurataInput

        public MurataInput​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                   org.processmining.models.semantics.petrinet.Marking marking)
        Constructs a MurataInput given a Petri net and its marking. All nodes may be reduced, all rules may be applied.
        Parameters:
        net - The Petri net.
        marking - The marking.

    • Method Detail

      • setVisibleSacred

        public void setVisibleSacred​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        Adds the set of transitions with a visible label to the sacred nodes.
        Parameters:
        net - The Petri net at hand.

      • addSacred

        public void addSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
        Adds a node to the sacred nodes.
        Parameters:
        node - The node to add.

      • removeSacred

        public void removeSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
        Removes a node form the sacred nodes.
        Parameters:
        node - The node to remove.

      • isSacred

        public boolean isSacred​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
        Checks whether a node is sacred.
        Parameters:
        node - The node to check.
        Returns:
        Whether it is sacred.

      • allowRule

        public void allowRule​(int rule)
        Allows a rule to be applied.
        Parameters:
        rule - The bit mask of the rule to allow.

      • disallowRule

        public void disallowRule​(int rule)
        Disallows a rule to be applied.
        Parameters:
        rule - The bit mask of the rule to disallow.

      • isAllowedRule

        public boolean isAllowedRule​(int rule)
        Checks whether some rule may be applied.
        Parameters:
        rule - The bit mask of the rule to check.
        Returns:
        Whether the rule may be applied.

      • setNet

        public void setNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        Sets the Petri net to reduce.
        Parameters:
        net - The Petri net to reduce.

      • getNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
        Gets the Petri net to reduce.
        Returns:
        The Petri net to reduce.

      • setMarking

        public void setMarking​(org.processmining.models.semantics.petrinet.Marking marking)
        Sets the marking (of the Petri net to reduce).
        Parameters:
        marking - The marking (of the Petri net to reduce).

      • getMarking

        public org.processmining.models.semantics.petrinet.Marking getMarking()
        Gets the marking (of the Petri net to reduce).
        Returns:
        The marking (of the Petri net to reduce).