R/initial_marking.R

Defines functions initial_marking.marked_petrinet initial_marking

Documented in initial_marking

#' @title Initial Marking
#'
#' @description Get the initial marking of a \code{\link{marked_petrinet}}
#'
#' @param PN A \code{\link{marked_petrinet}}
#'
#' @export initial_marking

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


initial_marking.marked_petrinet <- function(PN) {

	return(PN$initial_marking)
}
bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.