Is transition

Check if a transition is part of a petri net

is_transition(transition, PN)

Arguments

transition	A transition
PN	A Petri Net