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

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.