Vorlesungsbeschreibung Modellierung und Analyse von Prozessen