Package org.processmining.plugins.petrinet.reduction

Class MurataFST

    • Constructor Summary

      Constructors 
      Constructor Description
      MurataFST()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, org.processmining.models.semantics.petrinet.Marking marking)
      Apply the FST rule once, if possible.
      java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, org.processmining.models.semantics.petrinet.Marking marking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> inputEdges, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> outputEdges, MurataParameters parameters)  
      java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, org.processmining.models.semantics.petrinet.Marking marking, MurataParameters parameters)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • MurataFST

        public MurataFST()

    • Method Detail

      • reduce

        public java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                               java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                               org.processmining.models.semantics.petrinet.Marking marking)
        Apply the FST rule once, if possible.
        Specified by:
        reduce in class MurataRule
        Parameters:
        net - The net to check the FST rule on.
        sacredNodes - Nodes in the given net to leave alone.
        transitionMap - Map from original transitions to reduced transitions.
        placeMap - Map from original places to reduced places.
        marking - Current marking of the given net.
        Returns:
        null if FST rule could not be applied. Otherwise short description of how the rule was applied.

      • reduce

        public java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                               java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                               org.processmining.models.semantics.petrinet.Marking marking,
                               MurataParameters parameters)
        Specified by:
        reduce in class MurataRule

      • reduce

        public java.lang.String reduce​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                               java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
                               java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                               org.processmining.models.semantics.petrinet.Marking marking,
                               java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> inputEdges,
                               java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> outputEdges,
                               MurataParameters parameters)
        Specified by:
        reduce in class MurataRule