is_place {petrinetR}

Is place

Description

Check if a place is part of a petri net.

Usage

is_place(place, PN)

Arguments

place

character of length one: the place id to check.

PN

petrinet or marked_petrinet

Value

logical that indicates whether place is a place in PN