is_transition: Is transition

View source: R/is_transition.R

is_transitionR Documentation

Is transition

Description

Check if a transition is part of a petri net.

Usage

is_transition(transition, PN)

Arguments

transition

character of length one: the transition id to check.

PN

petrinet or marked_petrinet

Value

logical that indicates whether transition is a transition in PN


bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.