pm4py.objects.petri_net package

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

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
      • DataPetriNetSemantics.is_enabled()
      • DataPetriNetSemantics.execute()
      • DataPetriNetSemantics.weak_execute()
      • DataPetriNetSemantics.enabled_transitions()
    • check_guard_safety()
    • evaluate_guard()
    • is_enabled()
    • execute()
    • weak_execute()
    • enabled_transitions()
• pm4py.objects.petri_net.exporter package
  • Subpackages
    • pm4py.objects.petri_net.exporter.variants package
      • Submodules
      • pm4py.objects.petri_net.exporter.variants.pnml module
  • Submodules
  • pm4py.objects.petri_net.exporter.exporter module
    • Variants
      • Variants.PNML
    • apply()
    • serialize()
• pm4py.objects.petri_net.importer package
  • Subpackages
    • pm4py.objects.petri_net.importer.variants package
      • Submodules
      • pm4py.objects.petri_net.importer.variants.pnml module
  • Submodules
  • pm4py.objects.petri_net.importer.importer module
    • Variants
      • Variants.PNML
    • apply()
    • deserialize()
• pm4py.objects.petri_net.inhibitor_reset package
  • Submodules
  • pm4py.objects.petri_net.inhibitor_reset.semantics module
    • InhibitorResetSemantics
      • InhibitorResetSemantics.is_enabled()
      • InhibitorResetSemantics.execute()
      • InhibitorResetSemantics.weak_execute()
      • InhibitorResetSemantics.enabled_transitions()
    • is_enabled()
    • execute()
    • weak_execute()
    • enabled_transitions()
• 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
      • StochasticArcWeightNet.Arc
      • StochasticArcWeightNet.Binding
  • pm4py.objects.petri_net.saw_net.semantics module
    • StochasticArcWeightNetSemantics
      • StochasticArcWeightNetSemantics.is_enabled()
      • StochasticArcWeightNetSemantics.fire()
      • StochasticArcWeightNetSemantics.all_legal_bindings()
      • StochasticArcWeightNetSemantics.all_enabled_bindings()
      • StochasticArcWeightNetSemantics.is_enabled_binding()
      • StochasticArcWeightNetSemantics.amortized_priority()
      • StochasticArcWeightNetSemantics.probability_of_binding()
    • LocalStochasticArcWeightNetSemantics
      • LocalStochasticArcWeightNetSemantics.probability_of_binding()
    • GlobalStochasticArcWeightNetSemantics
      • GlobalStochasticArcWeightNetSemantics.probability_of_transition()
      • GlobalStochasticArcWeightNetSemantics.sample_enabled_transition()
      • GlobalStochasticArcWeightNetSemantics.probability_of_binding()
• pm4py.objects.petri_net.stochastic package
  • Submodules
  • pm4py.objects.petri_net.stochastic.obj module
    • StochasticPetriNet
      • StochasticPetriNet.Transition
  • pm4py.objects.petri_net.stochastic.semantics module
    • StochasticPetriNetSemantics
      • StochasticPetriNetSemantics.sample_enabled_transition()
      • StochasticPetriNetSemantics.probability_of_transition()
• 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
    • DijkstraSearchTupleForAntiAndMulti
    • TweakedSearchTuple
    • get_visible_transitions_eventually_enabled_by_marking()
    • discountedEditDistance()
    • levenshtein()
  • 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()

Submodules

pm4py.objects.petri_net.obj module

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

class pm4py.objects.petri_net.obj.Marking(iterable=None, /, **kwds)

Bases: Counter

class pm4py.objects.petri_net.obj.PetriNet(name: str = None, places: Collection[Place] = None, transitions: Collection[Transition] = None, arcs: Collection[Arc] = None, properties: Dict[str, Any] = None)

Bases: object

class Place(name, in_arcs=None, out_arcs=None, properties=None)

Bases: object

property name

property in_arcs

property out_arcs

property properties

class Transition(name, label=None, in_arcs=None, out_arcs=None, properties=None)

Bases: object

property name

property label

property in_arcs

property out_arcs

property properties

class Arc(source, target, weight=1, properties=None)

Bases: object

property source

property target

property weight

property properties

property name: str

property places: Collection[Place]

property transitions: Collection[Transition]

property arcs: Collection[Arc]

property properties: Dict[str, Any]

class pm4py.objects.petri_net.obj.InhibitorNet(name=None, places=None, transitions=None, arcs=None, properties=None)

Bases: PetriNet

class InhibitorArc(source, target, weight=1, properties=None)

Bases: Arc

class pm4py.objects.petri_net.obj.ResetNet(name=None, places=None, transitions=None, arcs=None, properties=None)

Bases: PetriNet

class ResetArc(source, target, weight=1, properties=None)

Bases: Arc

class pm4py.objects.petri_net.obj.ResetInhibitorNet(name=None, places=None, transitions=None, arcs=None, properties=None)

Bases: InhibitorNet, ResetNet

pm4py.objects.petri_net.properties module

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

pm4py.objects.petri_net.sem_interface module

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

class pm4py.objects.petri_net.sem_interface.Semantics

Bases: object

is_enabled(t, pn, m, **kwargs)

Deprecated since version 2.3.0: This will be removed in 3.0.0. this method will be removed, use PetriNetSemantics.is_enabled() instead

execute(t, pn, m, **kwargs)

Deprecated since version 2.3.0: This will be removed in 3.0.0. this method will be removed, use PetriNetSemantics.fire() instead

weak_execute(t, pn, m, **kwargs)

Deprecated since version 2.3.0: This will be removed in 3.0.0. this method will be removed, use PetriNetSemantics.fire() instead

enabled_transitions(pn, m, **kwargs)

Deprecated since version 2.3.0: This will be removed in 3.0.0. this method will be removed

pm4py.objects.petri_net.semantics module

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

class pm4py.objects.petri_net.semantics.PetriNetSemantics

Bases: Generic[N]

classmethod is_enabled(pn: N, transition: T, marking: Counter[P]) → bool

Checks whether a given transition is enabled in a given Petri net and marking

Parameters

rtype:

bool

param pn:

Petri net

param transition:

transition to check

param marking:

marking to check

Returns

return:

true if enabled, false otherwise

classmethod fire(pn: N, transition: T, marking: Counter[P]) → Counter[P]

Execute a transition For performance reasons, the algorithm method not check if the transition is enabled, i.e., this should be performed by the invoking algorithm (if needed). Hence, markings can become negative.

Parameters

param pn:

Petri net

param transition:

transition to execute

param marking:

marking to use

Returns

return:

newly reached marking

class pm4py.objects.petri_net.semantics.ClassicSemantics

Bases: Semantics

is_enabled(t, pn, m, **kwargs)

Verifies whether a given transition is enabled in a given Petri net and marking

Parameters

param t:

transition to check

param pn:

Petri net

param m:

marking to check

Returns

return:

true if enabled, false otherwise

execute(t, pn, m, **kwargs)

Executes a given transition in a given Petri net and Marking

Parameters

param t:

transition to execute

param pn:

Petri net

param m:

marking to use

Returns

return:

newly reached marking if :param t: is enabled, None otherwise

weak_execute(t, pn, m, **kwargs)

Execute a transition even if it is not fully enabled

Parameters

param t:

transition to execute

param pn:

Petri net

param m:

marking to use

Returns

return:

newly reached marking if :param t: is enabled, None otherwise

enabled_transitions(pn, m, **kwargs)

Returns a set of enabled transitions in a Petri net and given marking

Parameters

param pn:

Petri net

param m:

marking of the pn

Returns

return:

set of enabled transitions

pm4py.objects.petri_net.semantics.is_enabled(t, pn, m)

pm4py.objects.petri_net.semantics.execute(t, pn, m)

pm4py.objects.petri_net.semantics.weak_execute(t, m)

pm4py.objects.petri_net.semantics.enabled_transitions(pn, m)