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

Submodules#

pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_exceptional_cases module#

class pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_exceptional_cases.TimedExceptionalCases(helper_struct)[source]#

Bases: object

filter_exceptional_cases(G)[source]#

export_debug_net(tapn, m, path, step, pn_export_format)[source]#

map_exceptional_cases_between_events(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_exclude_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_exclude_no_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_include_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_include_no_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_no_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_no_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_no_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_no_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_no_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

DONE :rtype: PetriNet :type debug: bool :param tapn: :param m: :return:

create_exception_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

DONE :rtype: PetriNet :type debug: bool :param tapn: :param m: :return:

create_exception_condition_no_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_no_response_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_no_response_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_no_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_condition_milestone_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_exclude_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_include_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

create_exception_milestone_response_pattern(tapn, m=None, tapn_path=None, induction_step=None, pn_export_format=None, debug=False) → PetriNet[source]#

pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_preoptimizer module#

class pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_preoptimizer.TimedPreoptimizer[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_timed_arc_petri_net_submodules.timed_single_relations module#

class pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_single_relations.TimedSingleRelations(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, delay=0) → PetriNet[source]#

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

pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_utils module#

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

pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_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_timed_arc_petri_net_submodules.timed_utils.map_existing_transitions_of_copy_0(delta, copy_0, t, tapn) -> (<class 'pm4py.objects.petri_net.timed_arc_net.obj.TimedArcNet'>, <class 'pm4py.objects.petri_net.obj.PetriNet.Transition'>)[source]#

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

pm4py.objects.conversion.dcr.variants.to_timed_arc_petri_net_submodules.timed_utils.get_expected_places_transitions_arcs(G)[source]#

Module contents#