Check if a place is part of a petri net

is_place(place, PN)

Arguments

place

A place

PN

A Petri Net