Defines functions parsel_trace

Documented in parsel_trace

#' @title Parse (logical)
#' @description Tests whether a sequence of transitions can be fired by a Petri Net. If so returns TRUE, otherwise FALSE.
#' @param PN A Petri Net
#' @param trace A sequence of transitions, stored in a vector.
#' @export parsel_trace

parsel_trace <- function(PN, trace) {
	for(i in 1:length(trace)) {
		if(trace[i] %in% enabled(PN)$id){
			PN <- execute(PN, trace[i])

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.