Check if a transition is currently enabled
enabled_transition(PN, transition)
PN
A Petri Net
transition
A Transition