Parse (logical)

Tests whether a sequence of transitions can be fired by a Petri Net. If so returns TRUE, otherwise FALSE.

parsel(PN, trace)

Arguments

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