pm4py.algo.analysis.woflan package

Subpackages

• pm4py.algo.analysis.woflan.graphs package
  • Subpackages
    • pm4py.algo.analysis.woflan.graphs.minimal_coverability_graph package
      • Submodules
      • Module contents
    • pm4py.algo.analysis.woflan.graphs.reachability_graph package
      • Submodules
      • Module contents
    • pm4py.algo.analysis.woflan.graphs.restricted_coverability_graph package
      • Submodules
      • 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
• pm4py.algo.analysis.woflan.not_well_handled_pairs package
  • Submodules
    • pm4py.algo.analysis.woflan.not_well_handled_pairs.not_well_handled_pairs module
      • create_network_graph()
      • apply()
  • Module contents
• pm4py.algo.analysis.woflan.place_invariants package
  • Submodules
    • pm4py.algo.analysis.woflan.place_invariants.place_invariants module
      • compute_place_invariants()
    • pm4py.algo.analysis.woflan.place_invariants.s_component module
      • apply()
      • compute_s_components()
      • compute_uncovered_places_in_component()
    • pm4py.algo.analysis.woflan.place_invariants.uniform_invariant module
      • apply()
    • pm4py.algo.analysis.woflan.place_invariants.utility module
      • removearray()
      • transform_basis()
      • compute_uncovered_places()
  • Module contents

Submodules

• pm4py.algo.analysis.woflan.algorithm module
  • Parameters
    • Parameters.RETURN_ASAP_WHEN_NOT_SOUND
    • Parameters.PRINT_DIAGNOSTICS
    • Parameters.RETURN_DIAGNOSTICS
  • Outputs
    • Outputs.S_C_NET
    • Outputs.PLACE_INVARIANTS
    • Outputs.UNIFORM_PLACE_INVARIANTS
    • Outputs.S_COMPONENTS
    • Outputs.UNCOVERED_PLACES_S_COMPONENT
    • Outputs.NOT_WELL_HANDLED_PAIRS
    • Outputs.LEFT
    • Outputs.UNCOVERED_PLACES_UNIFORM
    • Outputs.WEIGHTED_PLACE_INVARIANTS
    • Outputs.UNCOVERED_PLACES_WEIGHTED
    • Outputs.MCG
    • Outputs.DEAD_TASKS
    • Outputs.R_G_S_C
    • Outputs.R_G
    • Outputs.LOCKING_SCENARIOS
    • Outputs.RESTRICTED_COVERABILITY_TREE
    • Outputs.DIAGNOSTIC_MESSAGES
  • woflan
    • woflan.set_s_c_net()
    • woflan.set_place_invariants()
    • woflan.set_uniform_place_invariants()
    • woflan.set_s_components()
    • woflan.set_uncovered_places_s_component()
    • woflan.set_not_well_handled_pairs()
    • woflan.set_left()
    • woflan.set_uncovered_places_uniform()
    • woflan.set_weighted_place_invariants()
    • woflan.set_uncovered_places_weighted()
    • woflan.set_mcg()
    • woflan.set_dead_tasks()
    • woflan.set_r_g_s_c()
    • woflan.set_r_g()
    • woflan.set_locking_scenarios()
    • woflan.set_restricted_coverability_tree()
    • woflan.get_net()
    • woflan.get_initial_marking()
    • woflan.get_final_marking()
    • woflan.get_s_c_net()
    • woflan.get_place_invariants()
    • woflan.get_uniform_place_invariants()
    • woflan.get_s_components()
    • woflan.get_uncovered_places_s_component()
    • woflan.get_not_well_handled_pairs()
    • woflan.get_left()
    • woflan.get_uncovered_places_uniform()
    • woflan.get_weighted_place_invariants()
    • woflan.get_uncovered_places_weighted()
    • woflan.get_mcg()
    • woflan.get_dead_tasks()
    • woflan.get_r_g_s_c()
    • woflan.get_r_g()
    • woflan.get_locking_scenarios()
    • woflan.get_restricted_coverability_tree()
    • woflan.get_output()
  • short_circuit_petri_net()
  • step_1()
  • step_2()
  • step_3()
  • step_4()
  • step_5()
  • step_6()
  • step_7()
  • step_8()
  • step_9()
  • step_10()
  • step_11()
  • step_12()
  • step_13()
  • apply()
  • compute_non_live_sequences()
  • compute_unbounded_sequences()

Module contents