Esparza, J.; Nielsen, M. Decidability Issues for Petri Nets. BRICS 1994, 1.