Modellierung ereignisdiskreter Systeme [M222]Beschreibung, Analyse und Simulation von Systemen mit Petrinetzen und vergleichbaren Techniken.