Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE
1 | parse_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.