Package au.edu.qut.prom.helpers

Class StochasticPetriNetUtils

  • public class StochasticPetriNetUtils
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static boolean areEqual​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> edges1, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> edges2)  
      static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.elements.TimedTransition t1, org.processmining.models.graphbased.directed.petrinet.elements.TimedTransition t2)  
      static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p1, org.processmining.models.graphbased.directed.petrinet.PetrinetNode p2)  
      static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.StochasticNet o1, org.processmining.models.graphbased.directed.petrinet.StochasticNet o2)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllPredecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllSiblings​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllSuccessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
      static java.util.Set<org.processmining.models.semantics.petrinet.Marking> findEquivalentFinalMarkings​(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings, org.processmining.models.graphbased.directed.petrinet.StochasticNet net)  
      static org.processmining.models.semantics.petrinet.Marking findEquivalentInitialMarking​(org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.graphbased.directed.petrinet.StochasticNet net)
      Pre: unique label equivalence for places between the two nets.
      static java.util.Set<org.processmining.models.semantics.petrinet.Marking> guessFinalMarkingsAsIfJustFinalPlaces​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      Health warning - this simply finds places with only incoming arcs.
      static org.processmining.models.semantics.petrinet.Marking guessInitialMarking​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin.guessInitialMarking() by Leemans
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> predecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> predecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> successors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)  
      static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> successors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • StochasticPetriNetUtils

        public StochasticPetriNetUtils()

    • Method Detail

      • areEqual

        public static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.StochasticNet o1,
                               org.processmining.models.graphbased.directed.petrinet.StochasticNet o2)

      • areEqual

        public static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.elements.TimedTransition t1,
                               org.processmining.models.graphbased.directed.petrinet.elements.TimedTransition t2)

      • areEqual

        public static boolean areEqual​(org.processmining.models.graphbased.directed.petrinet.PetrinetNode p1,
                               org.processmining.models.graphbased.directed.petrinet.PetrinetNode p2)

      • areEqual

        public static boolean areEqual​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> edges1,
                               java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> edges2)

      • findAllSuccessors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllSuccessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

      • findAllPredecessors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllPredecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

      • findAllSiblings

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> findAllSiblings​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

      • predecessors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> predecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)

      • successors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> successors​(org.processmining.models.graphbased.directed.petrinet.elements.Place place)

      • predecessors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> predecessors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

      • successors

        public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> successors​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

      • findEquivalentInitialMarking

        public static org.processmining.models.semantics.petrinet.Marking findEquivalentInitialMarking​(org.processmining.models.semantics.petrinet.Marking initialMarking,
                                                                                               org.processmining.models.graphbased.directed.petrinet.StochasticNet net)
        Pre: unique label equivalence for places between the two nets. This is needed because a number of valid and interesting nets don't have input places with no incoming edges, ie, they are not WorkflowNets. InductiveMiner and other miners can produce such nets under important edge cases. An earlier version of this checked for net.getInEdges(newPlace).isEmpty().
        Parameters:
        initialMarking -
        net -
        Returns:

      • findEquivalentFinalMarkings

        public static java.util.Set<org.processmining.models.semantics.petrinet.Marking> findEquivalentFinalMarkings​(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings,
                                                                                                             org.processmining.models.graphbased.directed.petrinet.StochasticNet net)

      • guessInitialMarking

        public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        StochasticPetriNet2StochasticDeterministicFiniteAutomatonPlugin.guessInitialMarking() by Leemans
        Parameters:
        net -
        Returns:

      • guessFinalMarkingsAsIfJustFinalPlaces

        public static java.util.Set<org.processmining.models.semantics.petrinet.Marking> guessFinalMarkingsAsIfJustFinalPlaces​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        Health warning - this simply finds places with only incoming arcs. It will behave for sound workflow nets, but may be quite different from the set of all possible final markings given particular initial markings.
        Parameters:
        finalMarkings -
        net -
        Returns: