J. Esparza and M. Nielsen, “Decidability Issues for Petri Nets”, BRICS, vol. 1, no. 8, May 1994.