A. Cheng, “Petri Nets, Traces, and Local Model Checking”, BRICS, vol. 2, no. 39, Jun. 1995.