Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommAgotado4,3Notifícame