Parse

Parses a sequence of transitions. If possible returns the Petri Net with the updated marking. Otherwise returns FALSE

parse(PN, trace)

Arguments

PN	A Petri Net
trace	A sequence of transitions, stored in a vector.