parsel_trace | R Documentation |
Tests whether a sequence of transitions can be fired by a Petri Net. If so returns TRUE, otherwise FALSE.
parsel_trace(PN, trace)
PN |
A Petri Net |
trace |
A sequence of transitions, stored in a vector. |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.