R/final_marking.R

In petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets

Defines functions final_marking final_marking

Documented in final_marking

#' @title Final Marking
#'
#' @description Get the final marking of a \code{\link{marked_petrinet}}
#'
#' @param PN A \code{\link{marked_petrinet}}
#'
#' @export final_marking

final_marking <- function(PN) {
	UseMethod("final_marking")
}


final_marking <- function(PN) {

	return(PN$final_marking)
}

Try the petrinetR package in your browser