(1)
Cheng, A. Petri Nets, Traces, and Local Model Checking. BRICS 1995, 2.