is_place: Is place

View source: R/is_place.R

is_placeR Documentation

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


petrinetR documentation built on April 3, 2023, 5:21 p.m.