Package org.processmining.logfiltering.algorithms

Class PetrinetUtilsCombo

  • public class PetrinetUtilsCombo
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> fireTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getNextPlaces​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getNextTransitions​(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreviousPlaces​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getPreviousTransitions​(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PetrinetUtilsCombo

        public PetrinetUtilsCombo()

    • Method Detail

      • getNextTransitions

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getNextTransitions​(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
                                                                                                                          org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • getPreviousTransitions

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getPreviousTransitions​(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
                                                                                                                              org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • getPreviousPlaces

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreviousPlaces​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                    org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • getNextPlaces

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getNextPlaces​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • isTransitionEnabled

        public static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                          java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> markings,
                                          org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • fireTransition

        public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> fireTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                                         java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> markings,
                                                                                                                                         org.processmining.models.graphbased.directed.petrinet.Petrinet net)