parse_trace {petrinetR} | R Documentation |
Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE
parse_trace(PN, trace)
PN |
A Petri Net |
trace |
A sequence of transitions, stored in a vector. |