Package org.processmining.projectionminer.mining.FiringSequences

Class ValidFiringSequenceGenerator

  • public class ValidFiringSequenceGenerator
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      ValidFiringSequenceGenerator​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet acceptingPetriNet, int maxDepth, boolean greedy)
      A generator to create firing sequences of a trace in a Petri net.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> findFiringSequences​(org.deckfour.xes.model.XTrace trace)
      Creates (not necessarily) all possible firing sequences within a Petri net for a given trace.
      java.util.HashMap<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,​org.processmining.models.semantics.petrinet.Marking> findFollowingFiringSequences​(java.util.Map.Entry<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,​org.processmining.models.semantics.petrinet.Marking> firingSequence, java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsWithNextLabel)  
      java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> getIngoingPlaces​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode transition)  
      java.util.HashSet<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getInvisiblePredecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)  
      java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> getOutgoingPlaces​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode transition)  
      java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getVisibleSuccessors​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode place)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ValidFiringSequenceGenerator

        public ValidFiringSequenceGenerator​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet acceptingPetriNet,
                                    int maxDepth,
                                    boolean greedy)
        A generator to create firing sequences of a trace in a Petri net.
        Parameters:
        acceptingPetriNet - The net that we focus for the replay on.

    • Method Detail

      • findFiringSequences

        public java.util.Set<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> findFiringSequences​(org.deckfour.xes.model.XTrace trace)
        Creates (not necessarily) all possible firing sequences within a Petri net for a given trace.
        Parameters:
        trace - A trace to be replayed.
        Returns:
        Possible firing sequences in the Petri net for the trace.

      • findFollowingFiringSequences

        public java.util.HashMap<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,​org.processmining.models.semantics.petrinet.Marking> findFollowingFiringSequences​(java.util.Map.Entry<java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,​org.processmining.models.semantics.petrinet.Marking> firingSequence,
                                                                                                                                                                                                                 java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsWithNextLabel)

      • getIngoingPlaces

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> getIngoingPlaces​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode transition)

      • getOutgoingPlaces

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> getOutgoingPlaces​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode transition)

      • getVisibleSuccessors

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getVisibleSuccessors​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode place)

      • getInvisiblePredecessors

        public java.util.HashSet<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getInvisiblePredecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)