Esparza, Javier, and Mogens Nielsen. 1994. “Decidability Issues for Petri Nets”. BRICS Report Series 1 (8). https://doi.org/10.7146/brics.v1i8.21662.