Class RepairRecommendationSearch

    • Field Detail

      • log

        protected org.deckfour.xes.model.XLog log
      • net

        protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net
      • initMarking

        protected org.processmining.models.semantics.petrinet.Marking initMarking
      • finalMarkings

        protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings
      • eventClassifier

        protected org.deckfour.xes.classification.XEventClassifier eventClassifier
      • mapping

        protected org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping
      • maxNumOfStates

        protected int maxNumOfStates
      • restrictedTrans

        protected java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> restrictedTrans
      • costFuncMOS

        protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> costFuncMOS
      • costFuncMOT

        protected java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> costFuncMOT
      • alignmentComputations

        protected int alignmentComputations
      • optimalAlignmentCost

        protected int optimalAlignmentCost
      • optimalRepairRecommendations

        protected java.util.Set<RepairRecommendation> optimalRepairRecommendations
      • debug

        protected boolean debug
    • Constructor Detail

      • RepairRecommendationSearch

        protected RepairRecommendationSearch​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                             org.processmining.models.semantics.petrinet.Marking initMarking,
                                             org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
                                             org.deckfour.xes.model.XLog log,
                                             java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> costMOS,
                                             java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> costMOT,
                                             org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
                                             org.deckfour.xes.classification.XEventClassifier eventClassifier,
                                             boolean debug)
                                      throws java.lang.Exception
        Throws:
        java.lang.Exception
    • Method Detail

      • computeOptimalRepairRecommendations

        public abstract java.util.Set<RepairRecommendation> computeOptimalRepairRecommendations​(RepairConstraint constraint,
                                                                                                boolean singleton)
      • getNumberOfAlignmentComputations

        public int getNumberOfAlignmentComputations()
      • getOptimalAlignmentCost

        public int getOptimalAlignmentCost()
      • preserveMinimalOptimalRepairRecommendations

        protected void preserveMinimalOptimalRepairRecommendations()
      • minimizeOptimalRepairRecommendations

        protected void minimizeOptimalRepairRecommendations()
      • getAdjustedCostFuncMOS

        protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> getAdjustedCostFuncMOS​(java.util.Set<java.lang.String> labels)
      • getAdjustedCostFuncMOT

        protected java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> getAdjustedCostFuncMOT​(java.util.Set<java.lang.String> labels)
      • repair

        public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph repair​(RepairRecommendation rec)
      • serializeNet

        public void serializeNet​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph pn,
                                 java.lang.String name)
                          throws org.jbpt.throwable.SerializationException
        Throws:
        org.jbpt.throwable.SerializationException
      • computeAlignmentCost

        public int computeAlignmentCost​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitions2costs,
                                        java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> events2costs)
      • computeAlignmentCost

        public int computeAlignmentCost()
      • computeMovementFrequencies

        public java.util.Map<RepairRecommendationSearch.AlignmentStep,​java.lang.Integer> computeMovementFrequencies​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitions2costs,
                                                                                                                          java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> events2costs)
      • computeMovementFrequenciesAndAlignmentCost

        public java.util.Map<RepairRecommendationSearch.AlignmentStep,​java.lang.Integer> computeMovementFrequenciesAndAlignmentCost​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitions2costs,
                                                                                                                                          java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> events2costs)
      • computeImpactOfLabelsOnOptimalAlignmentCost

        protected java.util.Map<RepairRecommendationSearch.AlignmentLabel,​java.lang.Integer> computeImpactOfLabelsOnOptimalAlignmentCost​(java.util.Map<RepairRecommendationSearch.AlignmentStep,​java.lang.Integer> frequencies,
                                                                                                                                               java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.Integer> transitions2costs,
                                                                                                                                               java.util.Map<org.deckfour.xes.classification.XEventClass,​java.lang.Integer> events2costs)