nodes: Get nodes from (marked) petrinet

View source: R/nodes.R

nodesR Documentation

Get nodes from (marked) petrinet

Description

Get nodes from (marked) petrinet

Usage

nodes(PN)

Arguments

PN

petrinet or marked_petrinet


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