R/enabled_transition.R

In petrinetR: Building, Visualizing, Exporting and Replaying Petri Nets

#' @title Enabled Transition
#'
#' @description Check if a transition is currently enabled
#'
#' @param PN A Petri Net
#' @param transition A Transition
#'
#' @export enabled_transition


enabled_transition <- function(PN,transition) {

	lifecycle::deprecate_warn(
		when = "0.3.0",
		what = "eenabled_transition()")

	if(transition %>% is_transition(PN))
		return(all(pre_set(PN, transition) %in% PN$marking))
	else
		return(F)
}