Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen. - Karl-Heinz Pascoletti (1986)