parsel_trace: Parse (logical)

View source: R/parsel_trace.R

parsel_traceR Documentation

Parse (logical)

Description

Tests whether a sequence of transitions can be fired by a Petri Net. If so returns TRUE, otherwise FALSE.

Usage

parsel_trace(PN, trace)

Arguments

PN

A Petri Net

trace

A sequence of transitions, stored in a vector.


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