Check if a node is part of a petri net

part_of(node, PN)

Arguments

node

A node

PN

A Petri Net