R/marked_petrinet.R

#' @title Marked petrinet
#' @name marked_petrinet
#' @docType class
#' @description Object consisting of a petrinet, initial marking, and final marking
#'
NULL
bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.