Michel Hack: Decidability questions for Petri Nets. Massachusetts Institute of Technology, Cambridge, MA, USA 1976