pm4py.objects.conversion.wf_net.variants.to_powl module#

pm4py.objects.conversion.wf_net.variants.to_powl.id_generator()[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.is_silent(transition) → bool[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.add_arc_from_to(source: Place | Transition, target: Transition | Place, net: PetriNet)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.clone_place(net: PetriNet, place, node_map: dict)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.clone_transition(net: PetriNet, transition, node_map: dict)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.pn_transition_to_powl(transition: Transition) → Transition[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.locally_identical(p1, p2, transitions)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.get_simplified_reachability_graph(net: PetriNet)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.get_reachable_transitions_from_place_to_another(start_place: Place, end_place: Place)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.clone_subnet(net: PetriNet, subnet_transitions: Set[Transition], start_place: Place, end_place: Place)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.apply_partial_order_projection(net: PetriNet, subnet_transitions: Set[Transition], start_places: Set[Place], end_places: Set[Place])[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.mine_base_case(net: PetriNet)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.mine_self_loop(net: PetriNet, start_place: Place, end_place: Place)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.mine_loop(net: PetriNet, start_place: Place, end_place: Place)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.mine_xor(net: PetriNet, reachability_map)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.mine_partial_order(net, end_place, reachability_map)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.validate_workflow_net(net: PetriNet)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.remove_initial_and_end_silent_activities(net: PetriNet, start_places: set[Place], end_places: set[Place])[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.remove_duplicated_places(net: PetriNet, start_places: set[Place], end_places: set[Place])[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.remove_unconnected_places(net: PetriNet, start_places: set[Place], end_places: set[Place])[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.preprocess(net: PetriNet)[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.add_new_start_and_end_if_needed(net, start_places: set[Place], end_places: set[Place])[source]#
pm4py.objects.conversion.wf_net.variants.to_powl.apply(net: PetriNet) → POWL[source]#

Convert a Petri net to a POWL model.

Parameters:

  • net: PetriNet

Returns:

  • POWL model