Jan Grabowski Miscellaneous results on vector addition systems. 146-152 1979 FCT db/conf/fct/fct79.html#Grabowski79