Package org.processmining.projectionminer.utils.Modifiers

Class PetriNetModifier

  • public class PetriNetModifier
extends java.lang.Object
    Class for Petri net modifications.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void appendResultLooping​(AcceptingPetriNetWrapper actualResult, AcceptingPetriNetWrapper resultToAppend)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetEdge color​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetEdge color​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge, java.awt.Color color)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetNode color​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetNode color​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node, java.awt.Color color)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetEdge colorIfNeeded​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge newEdge, org.processmining.models.graphbased.directed.petrinet.PetrinetEdge oldEdge)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetNode colorIfNeeded​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode new_node, org.processmining.models.graphbased.directed.petrinet.PetrinetNode old_node)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetEdge colorLight​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge)  
      org.processmining.models.graphbased.directed.petrinet.PetrinetNode colorLight​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)  
      org.processmining.models.graphbased.directed.petrinet.Petrinet colorPetrinet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      AcceptingPetriNetWrapper connectAnd​(java.util.LinkedList<AcceptingPetriNetWrapper> subnets)  
      AcceptingPetriNetWrapper connectConcurrent​(java.util.LinkedList<AcceptingPetriNetWrapper> subnets)  
      AcceptingPetriNetWrapper connectExclusiveChoice​(java.util.LinkedList<AcceptingPetriNetWrapper> subnets)  
      AcceptingPetriNetWrapper connectLooping​(java.util.LinkedList<AcceptingPetriNetWrapper> subnets)  
      AcceptingPetriNetWrapper connectSequentially​(java.util.LinkedList<AcceptingPetriNetWrapper> subnets)  
      org.processmining.acceptingpetrinet.models.impl.AcceptingPetriNetImpl copyAcceptingPetriNet​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet accNet)  
      java.lang.Object[] copyAcceptingPetriNetNumbered​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet accNet)  
      org.processmining.models.graphbased.directed.petrinet.Petrinet copyPetriNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      Copies a given Petri net and stores the mappings between the original and the copy for the last input.
      void fixMurataColors​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)  
      static PetriNetModifier getInstance()  
      org.processmining.models.semantics.petrinet.Marking getLastFinalMarking​(org.processmining.models.semantics.petrinet.Marking finalMarking)
      Finds the final marking for the last copied Petri net.
      org.processmining.models.semantics.petrinet.Marking getLastInitialMarking​(org.processmining.models.semantics.petrinet.Marking initialMarking)
      Finds the initial marking for the last copied Petri net.
      java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> getLastPlaceToPlace()  
      java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getLastTransitionToTransition()  
      void makePetriNetSkippable​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)  
      org.processmining.acceptingpetrinet.models.impl.AcceptingPetriNetImpl mergePlaces​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Place> placesToBeMerged)  
      void nextColor()  
      org.processmining.models.graphbased.directed.petrinet.PetrinetNode preserveColor​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode new_node, org.processmining.models.graphbased.directed.petrinet.PetrinetNode old_node)  
      void removeTransition​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
      void removeUselessSilentTransitions​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)  
      void resetColor()  
      void resetColor​(int color)  
      void updateShouldColor​(boolean update)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PetriNetModifier

        public PetriNetModifier()

    • Method Detail

      • updateShouldColor

        public void updateShouldColor​(boolean update)

      • copyPetriNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet copyPetriNet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        Copies a given Petri net and stores the mappings between the original and the copy for the last input.
        Parameters:
        net - A Petri net to be copied.
        Returns:
        The copy of the Petri net.

      • copyAcceptingPetriNet

        public org.processmining.acceptingpetrinet.models.impl.AcceptingPetriNetImpl copyAcceptingPetriNet​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet accNet)

      • copyAcceptingPetriNetNumbered

        public java.lang.Object[] copyAcceptingPetriNetNumbered​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet accNet)

      • preserveColor

        public org.processmining.models.graphbased.directed.petrinet.PetrinetNode preserveColor​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode new_node,
                                                                                        org.processmining.models.graphbased.directed.petrinet.PetrinetNode old_node)

      • colorPetrinet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet colorPetrinet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • colorIfNeeded

        public org.processmining.models.graphbased.directed.petrinet.PetrinetNode colorIfNeeded​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode new_node,
                                                                                        org.processmining.models.graphbased.directed.petrinet.PetrinetNode old_node)

      • colorIfNeeded

        public org.processmining.models.graphbased.directed.petrinet.PetrinetEdge colorIfNeeded​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge newEdge,
                                                                                        org.processmining.models.graphbased.directed.petrinet.PetrinetEdge oldEdge)

      • color

        public org.processmining.models.graphbased.directed.petrinet.PetrinetNode color​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)

      • color

        public org.processmining.models.graphbased.directed.petrinet.PetrinetNode color​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node,
                                                                                java.awt.Color color)

      • color

        public org.processmining.models.graphbased.directed.petrinet.PetrinetEdge color​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge)

      • color

        public org.processmining.models.graphbased.directed.petrinet.PetrinetEdge color​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge,
                                                                                java.awt.Color color)

      • colorLight

        public org.processmining.models.graphbased.directed.petrinet.PetrinetNode colorLight​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)

      • colorLight

        public org.processmining.models.graphbased.directed.petrinet.PetrinetEdge colorLight​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge edge)

      • nextColor

        public void nextColor()

      • resetColor

        public void resetColor()

      • resetColor

        public void resetColor​(int color)

      • getLastPlaceToPlace

        public java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> getLastPlaceToPlace()

      • getLastTransitionToTransition

        public java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getLastTransitionToTransition()

      • getLastInitialMarking

        public org.processmining.models.semantics.petrinet.Marking getLastInitialMarking​(org.processmining.models.semantics.petrinet.Marking initialMarking)
        Finds the initial marking for the last copied Petri net.
        Parameters:
        initialMarking - The initial marking of the Petri net that was copied.
        Returns:
        An initial marking for the copy.

      • getLastFinalMarking

        public org.processmining.models.semantics.petrinet.Marking getLastFinalMarking​(org.processmining.models.semantics.petrinet.Marking finalMarking)
        Finds the final marking for the last copied Petri net.
        Parameters:
        finalMarking - The final marking of the Petri net that was copied.
        Returns:
        A final marking for the copy.

      • makePetriNetSkippable

        public void makePetriNetSkippable​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                  org.processmining.models.semantics.petrinet.Marking initialMarking,
                                  org.processmining.models.semantics.petrinet.Marking finalMarking)

      • mergePlaces

        public org.processmining.acceptingpetrinet.models.impl.AcceptingPetriNetImpl mergePlaces​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
                                                                                         java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Place> placesToBeMerged)

      • fixMurataColors

        public void fixMurataColors​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

      • removeUselessSilentTransitions

        public void removeUselessSilentTransitions​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)

      • removeTransition

        public void removeTransition​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
                             org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)