final_marking: Final Marking

View source: R/final_marking.R View source: R/final_marking.R

final_markingR Documentation

Final Marking

Description

Get the final marking of a marked_petrinet

Usage

final_marking(PN)

Arguments

PN

A marked_petrinet


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