R/is_place.R

Defines functions is_place

Documented in is_place

#' @title Is place
#'
#' @description Check if a place is part of a petri net
#'
#' @param place A place
#' @param PN A Petri Net
#'
#' @export is_place


is_place <- function(place, PN) {
	if(place %in% places(PN)$id)
		return(T)
	else
		return(F)
}

Try the petrinetR package in your browser

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

petrinetR documentation built on May 1, 2019, 8:24 p.m.