Jan Grabowski The Decidability of Persistence for Vector Addition Systems. 20-23 1980 11 Inf. Process. Lett. 1 db/journals/ipl/ipl11.html#Grabowski80