pm4py.objects.bpmn.semantics module#

pm4py.objects.bpmn.semantics.is_enabled(node, bpmn, m)[source]#
pm4py.objects.bpmn.semantics.execute(node, bpmn, m)[source]#
pm4py.objects.bpmn.semantics.try_to_execute(node, bpmn, m)[source]#
pm4py.objects.bpmn.semantics.add_vector(a, b)[source]#
pm4py.objects.bpmn.semantics.sub_vector(a, b)[source]#
pm4py.objects.bpmn.semantics.power_set(iterable, min=1)[source]#
pm4py.objects.bpmn.semantics.weak_execute(node, m, bpmn_graph)[source]#

Execute a transition even if it is not fully enabled Returns multiple possible markings if the node is a gate

pm4py.objects.bpmn.semantics.execute_token_flow(target, marking, bpmn_graph)[source]#
pm4py.objects.bpmn.semantics.enabled_nodes(bpmn, m)[source]#

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

Parameters:

  • param pn: Petri net

  • param m: marking of the pn

Return type:

return: set of enabled transitions