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