Package org.processmining.lpm.util

Class PetrinetUtils

  • public final class PetrinetUtils
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static org.deckfour.xes.classification.XEventClass BACKLOOP  
      static org.deckfour.xes.classification.XEventClass DUMMY  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Set<java.lang.String> calculateAlphabet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static org.processmining.models.graphbased.directed.petrinet.Petrinet decodeTransitionLabels​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<java.lang.Character,​java.lang.String> eventDecoding)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledNonSilentTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)  
      static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> getMarkingAfterFiring​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getMarkingAfterFiring​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)  
      static int getNumNonSilentTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)  
      static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)  
      static java.lang.String prettyPrintPetrinet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static java.lang.Object[] projectLogOnNetAlphabet​(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabel​(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabelWithBackloop​(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition backloop)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • BACKLOOP

        public static final org.deckfour.xes.classification.XEventClass BACKLOOP

      • DUMMY

        public static final org.deckfour.xes.classification.XEventClass DUMMY

    • Method Detail

      • decodeTransitionLabels

        public static org.processmining.models.graphbased.directed.petrinet.Petrinet decodeTransitionLabels​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                    java.util.Map<java.lang.Character,​java.lang.String> eventDecoding)

      • getNumNonSilentTransitions

        public static int getNumNonSilentTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • prettyPrintPetrinet

        public static java.lang.String prettyPrintPetrinet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • getMarkingAfterFiring

        public static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> getMarkingAfterFiring​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                                             com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore,
                                                                                                                                             org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)

      • getMarkingAfterFiring

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

      • isTransitionEnabled

        public static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                          com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
                                          org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)

      • isTransitionEnabled

        public static boolean isTransitionEnabled​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                          java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
                                          org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)

      • getEnabledNonSilentTransitions

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledNonSilentTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                                      com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)

      • getEnabledTransitions

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                             com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)

      • getEnabledTransitions

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

      • transitionToEventClassMapperByLabel

        public static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabel​(org.deckfour.xes.model.XLog log,
                                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • transitionToEventClassMapperByLabelWithBackloop

        public static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabelWithBackloop​(org.deckfour.xes.model.XLog log,
                                                                                                                                            org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                                            org.processmining.models.graphbased.directed.petrinet.elements.Transition backloop)

      • calculateAlphabet

        public static java.util.Set<java.lang.String> calculateAlphabet​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

      • projectLogOnNetAlphabet

        public static java.lang.Object[] projectLogOnNetAlphabet​(org.deckfour.xes.model.XLog log,
                                                         org.processmining.models.graphbased.directed.petrinet.Petrinet net)