Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer

Interface StochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>

    • Method Detail

      • getReachabilityGraph

        org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getReachabilityGraph()

      • getDeadLockMarkings

        java.util.Set<M> getDeadLockMarkings()

      • getMarkingsWithNoOptionToComplete

        java.util.Set<M> getMarkingsWithNoOptionToComplete()

      • getProbabilityToComplete

        org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete()

      • getProbabilityToComplete

        org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete​(M marking)

      • getFixedReachabilityGraph

        org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getFixedReachabilityGraph()

      • toGraphViz

        org.processmining.plugins.graphviz.dot.Dot toGraphViz()