Defines functions post_set

Documented in post_set

#' @title Postset
#' @description Get the postset of a transition or place in a Petri Net
#' @param PN A Petri Net
#' @param node A place or transition in the petri net
#' @export post_set

post_set <- function(PN, node) {
	(PN$flows %>% filter(from == node))$to %>% return()

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.