Package org.processmining.lpm.util

Class AcceptingPetrinetUtils

  • public final class AcceptingPetrinetUtils
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Set<java.util.List<java.lang.String>> calculateLanguage​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, int maxLoop, boolean onlyAccepting)  
      static java.util.Set<java.lang.String> calculateStartingActivities​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, int maxLoop)  
      static org.processmining.acceptingpetrinet.models.AcceptingPetriNet decodeTransitionLabels​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, java.util.Map<java.lang.Character,​java.lang.String> eventDecoding)  
      static java.lang.String prettyPrintLanguage​(java.util.Set<java.util.List<java.lang.String>> language)  

      • Methods inherited from class java.lang.Object

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

    • Method Detail

      • decodeTransitionLabels

        public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet decodeTransitionLabels​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                                                                                                  java.util.Map<java.lang.Character,​java.lang.String> eventDecoding)

      • calculateLanguage

        public static java.util.Set<java.util.List<java.lang.String>> calculateLanguage​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                                                                                int maxLoop,
                                                                                boolean onlyAccepting)

      • calculateStartingActivities

        public static java.util.Set<java.lang.String> calculateStartingActivities​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                                                                          int maxLoop)

      • prettyPrintLanguage

        public static java.lang.String prettyPrintLanguage​(java.util.Set<java.util.List<java.lang.String>> language)