| parse_trace {petrinetR} | R Documentation |
Parse
Description
Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE
Usage
parse_trace(PN, trace)
Arguments
PN |
A Petri Net |
trace |
A sequence of transitions, stored in a vector. |
[Package petrinetR version 0.3.0 Index]