J. Esparza og M. Nielsen, “Decidability Issues for Petri Nets”, BRICS, bd. 1, nr. 8, maj 1994.