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