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)
}

Try the petrinetR package in your browser

Any scripts or data that you put into this service are public.

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