pm4py.objects.conversion.dcr.variants.to_petri_net_submodules package#

Submodules#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.exceptional_cases module#

class pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.exceptional_cases.ExceptionalCases(helper_struct)[source]#

Bases: object

filter_exceptional_cases(G)[source]#

map_exceptional_cases_between_events(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_exclude_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_exclude_no_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_include_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_include_no_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_no_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_no_response_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_no_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_response_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_no_response_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_no_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_response_include_pattern(tapn, m=None) → PetriNet[source]#

TODO: Make the if places statements :rtype: PetriNet :param tapn: :param m: :return:

create_exception_condition_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

TODO: Make the if places statements :rtype: PetriNet :param tapn: :param m: :return:

create_exception_condition_include_pattern(tapn, m=None) → PetriNet[source]#

TODO: Test the if places statements :rtype: PetriNet :param tapn: :param m: :return:

create_exception_condition_exclude_pattern(tapn, m=None) → PetriNet[source]#

TODO: Test the if places statements :rtype: PetriNet :param tapn: :param m: :return:

create_exception_condition_response_pattern(tapn, m=None) → PetriNet[source]#

Done :rtype: PetriNet :param tapn: :param m: :return:

create_exception_response_include_pattern(tapn, m=None) → PetriNet[source]#

DONE :rtype: PetriNet :param tapn: :param m: :return:

create_exception_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

DONE :rtype: PetriNet :param tapn: :param m: :return:

create_exception_condition_no_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_no_response_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_no_response_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_no_response_pattern(tapn, m=None) → PetriNet[source]#

create_exception_condition_milestone_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_exclude_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_include_pattern(tapn, m=None) → PetriNet[source]#

create_exception_milestone_response_pattern(tapn, m=None) → PetriNet[source]#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.preoptimizer module#

class pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.preoptimizer.Preoptimizer[source]#

Bases: object

need_included_place = {}#

need_executed_place = {}#

need_pending_place = {}#

need_pending_excluded_place = {}#

un_executable_events = {}#

pre_optimize_based_on_dcr_behaviour(G)[source]#

preoptimize_based_on_exceptional_cases(G, exceptional_cases)[source]#

remove_un_executable_events_from_dcr(G)[source]#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.single_relations module#

class pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.single_relations.SingleRelations(helper_struct, mapping_exceptions)[source]#

Bases: object

create_include_pattern(event, event_prime, tapn) → PetriNet[source]#

create_exclude_pattern(event, event_prime, tapn) → PetriNet[source]#

create_response_pattern(event, event_prime, tapn) → PetriNet[source]#

create_no_response_pattern(event, event_prime, tapn) → PetriNet[source]#

create_condition_pattern(event, event_prime, tapn) → PetriNet[source]#

create_milestone_pattern(event, event_prime, tapn) → PetriNet[source]#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils module#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils.check_arc_exists(source, target, tapn: PetriNet)[source]#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils.add_arc_from_to_with_check(fr, to, net: PetriNet, weight=1, type=None, with_check=False) → Arc[source]#

TODO: merge add_arc_from_to into add_arc_from_to_apt Adds an arc from a specific element to another element in some net. Assumes from and to are in the net!

Parameters#

fr: transition/place from to: transition/place to net: net to use weight: weight associated to the arc

Returns#

None

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils.map_existing_transitions_of_copy_0(delta, copy_0, t, tapn) -> (<class 'pm4py.objects.petri_net.obj.PetriNet'>, <class 'pm4py.objects.petri_net.obj.PetriNet.Transition'>)[source]#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils.create_event_pattern_transitions_and_arcs(tapn, event, helper_struct, mapping_exceptions)[source]#

TODO: handle self no-response (do nothing) and self milestone (cannot execute the event if it is pending) Parameters ———- tapn event helper_struct mapping_exceptions

Returns#

pm4py.objects.conversion.dcr.variants.to_petri_net_submodules.utils.get_expected_places_transitions_arcs(G)[source]#

Module contents#