Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-NetzenPrévenez-moi