Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen. Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 160