pm4py.algo.analysis.woflan.graphs package

Subpackages

• pm4py.algo.analysis.woflan.graphs.minimal_coverability_graph package
  • Submodules
    • pm4py.algo.analysis.woflan.graphs.minimal_coverability_graph.minimal_coverability_graph module
      • minimal_coverability_tree()
      • apply()
  • Module contents
• pm4py.algo.analysis.woflan.graphs.reachability_graph package
  • Submodules
    • pm4py.algo.analysis.woflan.graphs.reachability_graph.reachability_graph module
      • apply()
  • Module contents
• pm4py.algo.analysis.woflan.graphs.restricted_coverability_graph package
  • Submodules
    • pm4py.algo.analysis.woflan.graphs.restricted_coverability_graph.restricted_coverability_graph module
      • construct_tree()
      • check_if_transition_unique()
      • check_for_smaller_marking()
  • Module contents

Submodules

• pm4py.algo.analysis.woflan.graphs.utility module
  • compute_incidence_matrix()
  • split_incidence_matrix()
  • compute_firing_requirement()
  • enabled_markings()
  • convert_marking()
  • check_for_dead_tasks()
  • check_for_improper_conditions()
  • check_for_substates()

Module contents