parsel_trace {petrinetR} | R 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. |
[Package petrinetR version 0.3.0 Index]