Jan Grabowski Linear Methods in the Theory of Vector Addition Systems I. 207-236 1980 16 Elektronische Informationsverarbeitung und Kybernetik 5/6 db/journals/eik/eik16.html#Grabowski80