Jan Grabowski The Unsolvability of Some Petri Net Language Problems. 60-63 1979 9 Inf. Process. Lett. 2 db/journals/ipl/ipl9.html#Grabowski79