pm4py.objects.petri_net.utils package

Submodules

• pm4py.objects.petri_net.utils.align_utils module
  • search_path_among_sol()
  • construct_standard_cost_function()
  • pretty_print_alignments()
  • add_markings()
  • SearchTuple
  • DijkstraSearchTuple
  • TweakedSearchTuple
  • get_visible_transitions_eventually_enabled_by_marking()
• pm4py.objects.petri_net.utils.check_soundness module
  • check_source_and_sink_reachability()
  • check_source_place_presence()
  • check_sink_place_presence()
  • check_wfnet()
  • check_source_sink_place_conditions()
  • check_easy_soundness_net_in_fin_marking()
  • check_easy_soundness_of_wfnet()
• pm4py.objects.petri_net.utils.consumption_matrix module
  • ConsumptionMatrix
    • ConsumptionMatrix.places
    • ConsumptionMatrix.transitions
    • ConsumptionMatrix.c_matrix
  • construct()
• pm4py.objects.petri_net.utils.decomposition module
  • get_graph_components()
  • decompose()
  • merge_comp()
  • merge_sublist_nets()
• pm4py.objects.petri_net.utils.embed_stochastic_map module
  • apply()
  • extract()
• pm4py.objects.petri_net.utils.explore_path module
• pm4py.objects.petri_net.utils.final_marking module
  • discover_final_marking()
• pm4py.objects.petri_net.utils.incidence_matrix module
  • IncidenceMatrix
    • IncidenceMatrix.encode_marking()
    • IncidenceMatrix.a_matrix
    • IncidenceMatrix.places
    • IncidenceMatrix.transitions
  • construct()
• pm4py.objects.petri_net.utils.initial_marking module
  • discover_initial_marking()
• pm4py.objects.petri_net.utils.murata module
  • apply_reduction()
• pm4py.objects.petri_net.utils.networkx_graph module
  • create_networkx_undirected_graph()
  • create_networkx_directed_graph()
  • create_networkx_directed_graph_ret_dict_both_ways()
• pm4py.objects.petri_net.utils.obj_marking module
  • ObjMarking
    • ObjMarking.update()
  • ObjMarkingAccessor
• pm4py.objects.petri_net.utils.performance_map module
  • calculate_annotation_for_trace()
  • single_element_statistics()
  • find_min_max_trans_frequency()
  • find_min_max_arc_frequency()
  • aggregate_stats()
  • find_min_max_arc_performance()
  • aggregate_statistics()
  • get_transition_performance_with_token_replay()
  • get_idx_exceeding_specified_acti_performance()
  • filter_cases_exceeding_specified_acti_performance()
• pm4py.objects.petri_net.utils.petri_utils module
  • is_sub_marking()
  • place_set_as_marking()
  • get_arc_type()
  • pre_set()
  • post_set()
  • remove_transition()
  • add_place()
  • add_transition()
  • merge()
  • remove_place()
  • add_arc_from_to()
  • construct_trace_net()
  • construct_trace_net_cost_aware()
  • acyclic_net_variants()
  • get_transition_by_name()
  • decorate_places_preset_trans()
  • decorate_transitions_prepostset()
  • get_places_shortest_path()
  • get_places_shortest_path_by_hidden()
  • invert_spaths_dictionary()
  • remove_unconnected_components()
  • get_s_components_from_petri()
  • remove_arc()
• pm4py.objects.petri_net.utils.projection module
  • project_net_on_place()
  • project_net_on_matrix()
• pm4py.objects.petri_net.utils.reachability_graph module
  • Parameters
    • Parameters.MAX_ELAB_TIME
    • Parameters.PETRI_SEMANTICS
  • staterep()
  • marking_flow_petri()
  • construct_reachability_graph_from_flow()
  • construct_reachability_graph()
• pm4py.objects.petri_net.utils.reduction module
  • reduce_single_entry_transitions()
  • reduce_single_exit_transitions()
  • apply_simple_reduction()
  • apply_fst_rule()
  • apply_fsp_rule()
  • apply_fpt_rule()
  • apply_fpp_rule()
  • apply_elt_rule()
  • apply_elp_rule()
  • apply_a_rule()
  • apply_r_rule()
  • power_set()
  • apply_reset_inhibitor_net_reduction()
• pm4py.objects.petri_net.utils.synchronous_product module
  • construct()
  • construct_cost_aware()

Module contents