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
]