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


bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.