Check if a transition is part of a petri net.
is_transition(transition, PN)
transition
character of length one: the transition id to check.
character
PN
petrinet or marked_petrinet
petrinet
marked_petrinet
logical that indicates whether transition is a transition in PN