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