Cheng, A. (1995). Petri Nets, Traces, and Local Model Checking. BRICS Report Series, 2(39). https://doi.org/10.7146/brics.v2i39.19941