petrinet: Ppetrinet

petrinetR Documentation

Ppetrinet

Description

Object consisting of places, transitions and flows that denote a petri net


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