Zur Seite: Vorlesung Analyse von Petrinetz-Modellen