marked_petrinet: Marked petrinet

marked_petrinetR Documentation

Marked petrinet

Description

Object consisting of a petrinet, initial marking, and final marking


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