Nothing
#' @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)
}
Any scripts or data that you put into this service are public.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.