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

Interface ReachabilityGraphStaticAnalysis<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()

      • getFixedReachabilityGraph

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

      • toGraphViz

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