Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommSold out4.3Track