Class TraceProbablility


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

      • TraceProbablility

        public TraceProbablility()
    • Method Detail

      • getTraceProbability

        public static double getTraceProbability​(StochasticLabelledDataPetriNetSemantics semantics,
                                                 java.lang.String[] activitySequence,
                                                 DataState[] dataSequence,
                                                 org.processmining.framework.plugin.ProMCanceller canceller)
                                          throws lpsolve.LpSolveException
        Throws:
        lpsolve.LpSolveException
      • getActivitySequence

        public static java.lang.String[] getActivitySequence​(org.deckfour.xes.model.XTrace trace,
                                                             org.deckfour.xes.classification.XEventClassifier classifier)
      • getDataSequence

        public static DataState[] getDataSequence​(org.deckfour.xes.model.XTrace trace,
                                                  DataStateLogAdapter logAdapter,
                                                  int minimumTraceLength)