A. Cheng, “Petri Nets, Traces, and Local Model Checking”, BRICS, bd. 2, nr. 39, jun. 1995.