pm4py.analysis.get_enabled_transitions#

pm4py.analysis.get_enabled_transitions(net: PetriNet, marking: Marking) Set[Transition][source]#

Retrieves the set of transitions that are enabled in a given marking of a Petri net.

Parameters:
  • net (PetriNet) – The Petri net.

  • marking (Marking) – The current marking of the Petri net.

Returns:

A set of transitions that are enabled in the provided marking.

Return type:

Set[PetriNet.Transition]

import pm4py

net, im, fm = pm4py.read_pnml('tests/input_data/running-example.pnml')
# Gets the transitions enabled in the initial marking
enabled_transitions = pm4py.get_enabled_transitions(net, im)