Praktikum Modellierung verteilter Systeme

Veranstalter: Michael Köhler-Bußmeier und Lawrence Cabac

Diese Seite enthält Material und zusätzliche Informationen zur Vorlesung "Praktikum Modellierung verteilter Systeme" (64-372) im Sommersemester 2013.
Termine: Donnerstags, 8-10.

Das Modul "Modellierung verteilter Systeme (MVS)" unterteilt sich in die Vorlesungen "Modelle von Petrinetzen" am Dienstag, "Höhere Modellierungskonzepte und -algorithmen" am Donnerstag sowie vdem Praktikum "Modellierung verteilter Systeme" am Donnerstag. Die Teile sind jeweils in sich abgeschlossen, so dass Studenten des Diplomstudiengangs wahlweise auch nur eine der Veranstaltungen besuchen können.

Inhalt

Im zentralen Fokus des Praktikums stehen Petrinetzmodelle. Es werden verschiedende Modellierungswerkzeuge behandels. Im speziellen wird im Praktikum auf Renew, sowie einigen anderen Werkzeugen (Lola, Woflan, ProM, CPN/AMI) zurückgegriffen.