Seminar Modellierung verteilter Systeme
(Sommersemester 2016)

Veranstalter:

Rüdiger Valk und Daniel Moldt

Termin:

Dienstag, 12 - 14 in G-210 und Donnerstag, 12 - 14 in G-203

Kommentare/Inhalte:

Modelle sind zentrale Gegenstände in der Informatik. Sie sind das Medium, mit dem die Beteiligten eines Gestaltungs- oder Erkenntnisprozesses kommunizieren. Dies gilt sowohl für die Kommunikation der Menschen untereinander, als auch für die Kommunikation von Hard- und Software-Systemen. Gegenstand des Seminars bilden Petrinetzmodelle und -werkzeuge und Algorithmen für verteilte Systeme.

Lernziel:

Seminarvorträge der Teilnehmer, Erarbeiten der Inhalte, Präsentationstechniken

Vorgehen:

Das Modul "InfM WPM7 (MVS) Modellierung verteilter Systeme (MVS)" enthält neben diesem Seminar noch zwei Vorlesungen: "64-371 Höhere Modellierungskonzepte und -algorithmen" und "64-370 Modelle von Petrinetzen".

Literatur:

Wird in der Veranstaltung bekanntgegeben / Webseiten.