Class LocalProcessModelUtils


  • public class LocalProcessModelUtils
    extends java.lang.Object
    • Constructor Detail

      • LocalProcessModelUtils

        public LocalProcessModelUtils()
    • Method Detail

      • convertPlacesToLPMs

        public static java.util.Set<LocalProcessModel> convertPlacesToLPMs​(java.util.Set<Place> places)
      • getAcceptingPetriNetRepresentation

        public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet getAcceptingPetriNetRepresentation​(LocalProcessModel lpm)
      • getPetriNetRepresentation

        public static org.processmining.models.graphbased.directed.petrinet.Petrinet getPetriNetRepresentation​(LocalProcessModel lpm)
      • getPossiblePassages

        public static java.util.Set<java.lang.String> getPossiblePassages​(LocalProcessModel lpm,
                                                                          java.util.Map<java.lang.String,​?> labelMap)
      • getPossiblePassages

        public static java.util.Set<java.lang.String> getPossiblePassages​(LocalProcessModel lpm)
      • getLPMFromAcceptingPetriNetRepresentation

        public static LocalProcessModel getLPMFromAcceptingPetriNetRepresentation​(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
      • exportResult

        public static void exportResult​(LPMResult lpmResult,
                                        java.lang.String filePath)
                                 throws java.io.IOException
        Throws:
        java.io.IOException
      • exportResult

        public static void exportResult​(LPMResult lpmResult,
                                        java.io.File file)
                                 throws java.io.IOException
        Throws:
        java.io.IOException
      • getTransitionLabelToIntegerMap

        public static java.util.Map<java.lang.String,​java.lang.Integer> getTransitionLabelToIntegerMap​(LocalProcessModel lpm)
      • extractGroupIds

        public static java.util.Collection<java.lang.String> extractGroupIds​(java.util.Collection<LocalProcessModel> lpms)