R/places.R

Defines functions places.marked_petrinet places.petrinet places

Documented in places places.marked_petrinet places.petrinet

#' Places
#' @description Extracts the places from a Petri Net
#'
#' @inheritParams flows
#'
#' @export places

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

#' @describeIn places Places of petrinet
#' @export
places.petrinet <- function(PN) {
	return(PN$places)
}

#' @describeIn places Places of marked petrinet
#' @export
places.marked_petrinet <- function(PN) {
	places(PN$petrinet)
}
bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.