Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommVyprodáno4,3Pohlídat