R/transitions.R

Defines functions transitions.marked_petrinet transitions.petrinet transitions

Documented in transitions transitions.marked_petrinet transitions.petrinet

#' Transitions
#' @description Extracts the transitions from a Petri Net
#'
#' @inheritParams flows
#'
#' @export transitions

transitions <- function(PN) {
	UseMethod("transitions")
}

#' @describeIn transitions Transitions of petrinet
#' @export
transitions.petrinet <- function(PN) {
	return(PN$transitions)
}

#' @describeIn transitions Transitions of marked petrinet
#' @export
transitions.marked_petrinet <- function(PN) {
	transitions(PN$petrinet)
}

Try the petrinetR package in your browser

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

petrinetR documentation built on April 3, 2023, 5:21 p.m.