Seminar zu nebenläufigen Systemen

Inhalt der Lehrveranstaltung:

Aktuelle Forschungsbeiträge aus den Bereich "Modellierung, Simulation, Synthese und Verifikation nebenläufiger Systeme"

Vorkenntnis für die Lehrveranstaltung:

Vorlesung Halbordnungssemantik von Petrinetzen (SS 2008, SS 2009) oder Halbordnungssemantik paralleler Systeme (SS 2010, SS2011), Vorlesungen Einführung in die theoretische Informatik, Logik für Informatiker

Literatur zur Lehrveranstaltung:

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae 88 (2008)

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser, Gabriel Juhas:
Executability of scenarios in Petri nets
Theoretical Computer Science 410 (2009)

Robin Bergenthum, Gabriel Juhas, Robert Lorenz, Sebastian Mauser:
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae 92 (2009)

Vortags-Themen

Dieses Seminar baut auf der Veranstaltung "Halbordnungsbasierte Semantik paralleler Systeme" (immer im SS) auf. Die Vortragsthemen befassen sich mit verschiedenen Anwendungen für halbordnungsbasierte Semantiken von Petrinetzen, welche alle auf dem neuen vor ca. 6 Jahren entwickelten Konzept der sog. "Markenflüsse" beruhen:

• Synthese von Petrinetz-Modellen aus halbordnungsbasierten Verhaltensbeschreibungen: Zu diesem Thema soll die Publikation
  
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
  Synthesis of Petri Nets from Finite Partial Languages
  Fundamenta Informaticae 88 (2008)
  
  durch 4-5 Vorträge präsentiert werden.


• Polynomialer Test auf Ausführbarkeit von Szenarien durch Petrinetze: Zu diesem Thema soll die Publikation
  
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser, Gabriel Juhas:
  Executability of scenarios in Petri nets
  Theoretical Computer Science 410 (2009)
  
  durch ca. 6 Vorträge präsentiert werden.


• Effiziente Entfaltung von Petrinetzen: Zu diesem Thema soll die Publikation
  
  Robin Bergenthum, Gabriel Juhas, Robert Lorenz, Sebastian Mauser:
  Unfolding Semantics of Petri Nets Based on Token Flows
  Fundamenta Informaticae 92 (2009)
  
  durch ca. 7 Vorträge präsentiert werden.

Die Vorträge zu den jeweiligen Themen bauen jeweils aufeinander auf. Bei der Themenvergabe werden die Vorträge nach Möglichkeit nur zu einem der Themen vergeben, bis dieses Thema komplett abgedeckt ist.

Für alle Themen gilt: Es sollen keine Beweise präsentiert werden, sondern es sollen die beschriebenen Begriffe und Konzepte klar und verständlich anhand geeigneter Beispiele dargestellt werden. Hierbei sollen nach Möglichkeit auch eigene Beispiele, und nicht ausschließlich die Beispiele aus der jeweiligen Publikation verwendet werden. Dieser Aspekt fließt auch mit in die Bewertung ein.

Die genaue Gliederung der jeweiligen Publikationen in die Vortragsthemen erfolgt in einer gesonderten Vorbesprechung.

Die Vortragsthemen sind so gewählt dass sie in der Regel im Team bearbeitet werden müssen. Das bedeutet, dass mehrere Studierende ein Thema zusammen vorbereiten, dann aber jeder einen eigenen Vortrag über ein Teilthema hält. Die Vorträge zu einem Thema werden dann direkt nacheinander in einem Block abgehalten. Zu beachten ist noch, dass die Kapitel des Textes aufeinander aufbauen, man also für die Bearbeitung späterer Themen zumindest Teile des Textes davor auch lesen und verstehen muss. Dafür hat man ja aber dann auch mehr Zeit für die Vorbereitung und die vorherigen Vorträge als Vorlage.

Modalitäten und Bewertung

Es ist ein Vortrag zu halten und eine schriftliche Ausarbeitung des Vortragsinhalts anzufertigen. Ziel ist es dabei nicht, dem Dozenten zu zeigen, dass man die Literaturvorlage verstanden hat, sondern deren Inhalt auf geeignetem Abstraktionsniveau allen Zuhörern zu vermitteln (dazu muss man natürlich erstmal deren Inhalt selbst verstanden haben). Bei jedem Vortrag werden Inhalt und Präsentation bewertet. Die Gesamtnote ergibt sich aus dem arithmetischen Mittel aus Bewertung des Inhalts des Vortrags, der Präsentation des Vortrags und der schriftlichen Ausarbeitung. Vorträge werden im Anschluss diskutiert; Hinweise aus der Diskussion sind in die schriftliche Ausarbeitung aufzunehmen. Spätestens eine Woche vor dem Vortrag findet ein individueller Besprechnungstermin mit dem Dozenten statt, bei dem eine vorläufige Version des Vortrags vorzustellen ist.

• Individuelle Vorbesprechung: Spätestens eine Woche vor dem Vortrag. Es ist eine vorläufige Version des Vortrags vorzustellen.
• Vortrag: Es ist eine Präsentation mit Folien vorzubereiten (Powerpoint, Latex, o.ä.). In der Regel sollte an die Zuhörer zusätzlich ein Handout ausgeteilt werden. Die Vortragsdauer beträgt 30 Minuten plus 15 Minuten für die anschließende Diskussion. Zum Vortrag sind Studentenausweis und Personalausweis mitzubringen.
• Schriftliche Ausarbeitung: Soll 5 - 8 Seiten umfassen und bis muss bis Semesterende abgegeben werden.
• Prüfungsmodul: Zulassungsvoraussetzungen sind
  • die fristgerechte elektronische Anmeldung in LectureReg zur Veranstaltung
  • die fristgerechte Anmeldung zum Prüfungsmodul bei STUDIS
  Die Teilnahmeberechtigung ist beschränkt auf das Wintersemester 2011/2012

Termine

• Erste Vorbesprechung: Montag, 24.10.2011, 14.00 - 15.30, Raum 1056 N.
• Schriftliche Ausarbeitung: bis Semesterende.

   

weitere Informationen zu der Lehrveranstaltung:

empfohlenes Studiensemester der Lehrveranstaltung:	ab dem 5. Semester
Fachrichtung Lehrveranstaltung:	Informatik
Nummer der Lehrveranstaltung:	7092
Dauer der Lehrveranstaltung:	2 SWS
Typ der Lehrveranstaltung:	S - Seminar
Leistungspunkte:	4 LP
Bereich:	Informatik
Prüfung:	Referat / Hausarbeit
Lehrveranstaltungspflicht:	Wahlpflicht
Semester:	WS 2011/12