is_node: Is node

View source: R/is_nodes.R

is_nodeR Documentation

Is node

Description

Check if a node is part of a petri net

Usage

is_node(node, PN)

Arguments

node

character of length one: the node id to check.

PN

petrinet or marked_petrinet

Value

logical that indicates whether node is a node in PN


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