Seminar: Analyse von Petrinetz-Modellen

Petrinetze werden zur Modellierung verteilter Systeme verwendet. Zustandsänderungen in einem Petrinetz-Modell werden verstanden als Erzeugen und Vernichten von Ressourcen (statt des sonst üblichen Lesens und Schreibens von Variablen). Dadurch ergeben sich interessante algorithmische Analysemöglichkeiten, die in diesem Seminar vorgestellt werden.

Aktuelles

• Kleinere Änderungen am Zeitplan.

• Am Mittwoch, den 19.11.09 findet das Seminar auf Grund der Konferenz der Informatikfachschaften im Raum RUD 25, 4.410 statt (Haus IV, 4. OG)

• Einführungsfolien und Themaverteilung online.
• Kleine Anpassung an den Anforderungen (Abstract, Ein-Seiten-Handout).
• Vorläufige Terminplanung sowie Themen online.

Zum Seminar

Vorträge/Gliederung

Jeder Seminarteilnehmer hält zwei Vorträge, die jeweils 30 Minuten dauern sollen: Der erste Vortrag dient dazu, in das Thema einzuführen und die grundlegenden Konzepte vorzustellen. Der Vortragende sollte außer Grundkenntnissen und den bis dorthin behandelten Inhalten im Seminar keine Vorkenntnisse voraussetzen. Im zweiten Vortrag erfolgt dann eine Vertiefung auf Basis des ersten Vortrages. Schriftlich anzufertigen sind: (1) ein kurzes, motivierendes Abstract, das vor dem ersten Vortrag per Goya-Mail an die anderen Seminarteilnehmer verschickt wird, sowie (2) ein Handout, das höchstens eine Din A4 Seite lang ist, die wichtigsten Punkte beider Vorträge enthält und nach dem zweiten Vortrag ausgeteilt wird.

In einer Seminarstunde werden wir in den meisten Fällen zwei Vorträge hören und jeweils anschließend eine 15-minütige Diskussion führen, die sich nicht nur mit dem Inhalt sondern vor allem auch mit der Vortragsweise sowie den verwendeten Hilfsmitteln beschäftigt. Zielsetzung des Seminars ist also nicht nur das Behandeln der Seminarthemen sondern auch die gezielte Verbesserung der Vortragsfähigkeiten des Einzelnen.

Themen/Literatur

Es folgt eine Auflistung der bisher geplanten Themen. Die Vergabe der Themen erfolgt in der ersten Seminarstunde (15.10.2009). Die Literaturangaben sind Vorschläge, zu dem einen oder anderen Thema findet sich sicher auch noch mehr Literatur. Der Vortrag eines Themas, das nicht in dieser Liste enthalten ist, ist prinzipiell nicht ausgeschlossen, muss aber vorher abgeklärt werden.

Vorläufige Terminplanung