final_marking {petrinetR}R Documentation

Final Marking

Description

Get the final marking of a marked_petrinet

Usage

final_marking(PN)

Arguments

PN

A marked_petrinet

[Package petrinetR version 0.3.0 Index]