marked_petrinet {petrinetR}R Documentation

Marked petrinet

Description

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

[Package petrinetR version 0.3.0 Index]