Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommVypredaná4,3Postrážiť