is_node {petrinetR}

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