Petrinetze SS 2010

Inhalt | Termine | Literatur | Hinweise

Keine freien Plätze mehr!

Seit 14.4.10 vergeben wir keine Themen mehr.

Start

Das Seminar findet jeweils dienstags, 16-17.30 Uhr im Raum 03.09.014 statt. Es besteht Anwesenheitspflicht! Erster Termin ist am 8. Juni.

Inhalt

Petri-Netze sind das vielleicht wichtigste Werkzeug zur Modellierung nebenläufiger Prozesse in der Informatik. In diesem Proseminar befassen wir uns mit grundlegenden Definitionen von Petri-Netzen als Modellierungstechnik sowie mit der formalen Analyse von Netzen. Zu diesem Zweck diskutieren wir einige Fallstudien wie wechselseitigen Ausschluss, Geschäftsprozesse, oder Netzwerkalgorithmen. Dieses Proseminar baut auf dem Buch Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien von Wolfgang Reisig auf. Die entsprechenden Kapitel werden wir ausgedruckt bereitstellen.

Übersicht

Der Ablauf des Proseminars ist wie folgt.

• Einlesen in die Grundlagen von Petrinetzen auf Basis der ersten drei Kapitel des Buches Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien von Wolfgang Reisig
• Lesen von Spezialliteratur (d.h. meist bestimmten Kapiteln aus diesem Buch), siehe auch Themenliste
• Zu Ihrem Thema erarbeiten Sie einen Vortrag.
• Zusätzlich bearbeiten Sie eine kleine Übungsaufgabe aus Ihrem Kapitel und stellen Aufgabe samt Lösung im Anschluss an Ihren Vortrag vor.
• In allen Fragen steht Ihnen ein Betreuer zur Verfügung. Die Betreuer werden ab ca. Mitte März bekannt sein.
• Ab KW 23 (Anfang Juni) gibts es je ein Treffen pro Woche, voraussichtlich jeweils Dienstag um 16 Uhr in 03.09.14 (kann sich ggf noch ändern). Pro Treffen gibt es zwei Vorträge.

Anforderungen

Die folgenden Anforderungen sind zum Bestehen der Veranstaltung notwendig. Alle Zeitangaben sind als spätestens zu Verstehen. Das Nichteinhalten der Termine führt zum automatischen Nichtbestehen der Veranstaltung. Die Betreuer finden Sie hier.

• Bis April: Einlesen. Jeder Student sollte die Grundlagen von Petrinetzen selbständig erarbeiten. Dies entspricht den ersten drei Kaptiteln dieses Buches. Sie können sich ausgedruckte Exemplare bei Jörg Kreiker in 03.11.40 abholen. Nach dem Einlesen können Sie sich Ihre spezielle Literatur beim Betreuer abholen.
• Vier Wochen vor dem eigenen Vortrag muss ein erstes Treffen mit dem Betreuer vereinbart werde.
• Drei Wochen vor dem Vortrag muss das erste Treffen mit dem Betreuer stattfinden. Hierzu ist ein Konzept mitzubringen. Dies beinhaltet eine Gliederung der Folien und ein aussagekräftiges Beispiel. Ausserdem wird eine vorzustellende Übungsaufgabe bestimmt.
• Zwei Wochen vor dem Vortragstermin müssen Entwürfe für die Folien vorgelegt werden. Ebenso eine Lösung der Übungsaufgabe.
• Eine Woche vor dem Termin sind die fertigen Folien beim Betreuer abzugeben.
• Der Vortrag plus Besprechung der Aufgabe mit Lösung sollte maximal 45 Minuten dauern.
• Es besteht Anwesenheitspflicht. Sollten Sie einmal an der Teilnahme verhindert sein, so teilen Sie uns dies bitte rechtzeitig mit.
• Für jeden Vortrag werden zwei Studenten bestimmt, die Feedback zum Vortrag geben müssen.

Noten

Die Note setzt sich aus den folgenden Leistungen zusammen:

• Vorbereitungsphase
• Präsentation
• Bearbeiten und Vorstellen der Übungsaufgabe
• Feedbackrunde
• aktive Beteiligung während und nach der Vorträge