Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommEsaurito4,3Avvisami