pm4py.objects.petri_net package

Subpackages

• pm4py.objects.petri_net.data_petri_nets package
  • Submodules
    • pm4py.objects.petri_net.data_petri_nets.data_marking module
      • DataMarking
    • pm4py.objects.petri_net.data_petri_nets.semantics module
      • DataPetriNetSemantics
      • check_guard_safety()
      • evaluate_guard()
      • is_enabled()
      • execute()
      • weak_execute()
      • enabled_transitions()
  • Module contents
• pm4py.objects.petri_net.exporter package
  • Subpackages
    • pm4py.objects.petri_net.exporter.variants package
      • Submodules
      • Module contents
  • Submodules
    • pm4py.objects.petri_net.exporter.exporter module
      • Variants
      • apply()
      • serialize()
  • Module contents
• pm4py.objects.petri_net.importer package
  • Subpackages
    • pm4py.objects.petri_net.importer.variants package
      • Submodules
      • Module contents
  • Submodules
    • pm4py.objects.petri_net.importer.importer module
      • Variants
      • apply()
      • deserialize()
  • Module contents
• pm4py.objects.petri_net.inhibitor_reset package
  • Submodules
    • pm4py.objects.petri_net.inhibitor_reset.semantics module
      • InhibitorResetSemantics
      • is_enabled()
      • execute()
      • weak_execute()
      • enabled_transitions()
  • Module contents
• pm4py.objects.petri_net.saw_net package
  • Submodules
    • pm4py.objects.petri_net.saw_net.convert module
      • convert_saw_net_to_stochastic_net_global_semantics()
      • convert_saw_net_to_stochastic_net_local_semantics()
    • pm4py.objects.petri_net.saw_net.obj module
      • StochasticArcWeightNet
    • pm4py.objects.petri_net.saw_net.semantics module
      • StochasticArcWeightNetSemantics
      • LocalStochasticArcWeightNetSemantics
      • GlobalStochasticArcWeightNetSemantics
  • Module contents
• pm4py.objects.petri_net.stochastic package
  • Submodules
    • pm4py.objects.petri_net.stochastic.obj module
      • StochasticPetriNet
    • pm4py.objects.petri_net.stochastic.semantics module
      • StochasticPetriNetSemantics
  • Module contents
• 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
      • 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
      • 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
      • 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
      • 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

Submodules

• pm4py.objects.petri_net.obj module
  • Marking
  • PetriNet
    • PetriNet.Place
      • PetriNet.Place.name
      • PetriNet.Place.in_arcs
      • PetriNet.Place.out_arcs
      • PetriNet.Place.properties
    • PetriNet.Transition
      • PetriNet.Transition.name
      • PetriNet.Transition.label
      • PetriNet.Transition.in_arcs
      • PetriNet.Transition.out_arcs
      • PetriNet.Transition.properties
    • PetriNet.Arc
      • PetriNet.Arc.source
      • PetriNet.Arc.target
      • PetriNet.Arc.weight
      • PetriNet.Arc.properties
    • PetriNet.name
    • PetriNet.places
    • PetriNet.transitions
    • PetriNet.arcs
    • PetriNet.properties
  • InhibitorNet
    • InhibitorNet.InhibitorArc
  • ResetNet
    • ResetNet.ResetArc
  • ResetInhibitorNet
• pm4py.objects.petri_net.properties module
• pm4py.objects.petri_net.sem_interface module
  • Semantics
    • Semantics.is_enabled()
    • Semantics.execute()
    • Semantics.weak_execute()
    • Semantics.enabled_transitions()
• pm4py.objects.petri_net.semantics module
  • PetriNetSemantics
    • PetriNetSemantics.is_enabled()
    • PetriNetSemantics.fire()
  • ClassicSemantics
    • ClassicSemantics.is_enabled()
    • ClassicSemantics.execute()
    • ClassicSemantics.weak_execute()
    • ClassicSemantics.enabled_transitions()
  • is_enabled()
  • execute()
  • weak_execute()
  • enabled_transitions()

Module contents