pm4py.analysis.get_enabled_transitions#

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

Gets the transitions enabled in a given marking

Parameters:

net (PetriNet) – Petri net
marking (Marking) – 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)