Seminar Petri-Netze und Modelchecking
SS 02
Themenvergabe: Donnerstag 21.2.2002, 11.00 Uhr, A3 2-214
Übersicht:
- Erstes Treffen am 6.2.2002 um 14.00 Uhr s.t. in Raum A3 2-209
- Themenvergabe am 21.2.2002 um 11.00 Uhr in Raum A3 2-214
Die Veranstaltung wendet sich an Studierende im Hauptstudium
und ist zum Erwerb eines für die Diplomprüfung
erforderlichen Seminarscheins in der Theoretischen Informatik geeignet.
Folgende Themenkreise sind vorgesehen:
- Strukturtheorie von Petri-Netzen,
- Parallele Algorithmen und Netze,
- Entscheidbarkeits- und Berechenbarkeitsprobleme bei Netzen,
- Höhere Netze sowie
- Prozeßalgebren und Petri-Netze
- Modelchecking auf Petri-Netzen
StudentInnen, denen bereits ein Thema vorschwebt, sind - sofern es sich im
größeren Rahmen der Theorie der Petri-Netze bewegt -,
herzlich eingeladen ihr Thema vorzuschlagen.
Zur Zeit ist geplant, das Seminar wöchentlich stattfinden
zu lassen. Unter Umständen ist jedoch auch eine
Blockveranstaltung am Ende des Sommersemesters möglich.
Jeder einzelne Vortrag sollte so
konzipiert werden, daß er eine Stunde dauert.
Einige gute Hinweise zur Konzeption eines Folienvortrags
findet man
hier.
Die folgenden Themen und Termine sind bereits vergeben:
- Zwingend: Abgeschlossenes Vordiplom oder Zustimmung des Mentors.
Der Besuch einer Vorlesung zum Thema Petri-Netze oder Modelchecking
ist nicht unbedingt erforderlich, es stehen auch Seminarthemen zu den
Grundlagen der Petri-Netze zur Verfügung.
- Selbständige Vorbereitung und
Durchführung eines Seminarvortrags.
- Darlegung des Vortragskonzeptes vor dem eigentlichen Vortrag.
- Schriftliche Ausarbeitung des Seminarvortrags.
- Aktive Teilnahme an den anderen Vorträgen.
Veranstalter:
Eike Best
und
Harro Wimmel
Termin der Veranstaltung:
Eike Best [Eike.Best@Informatik.Uni-Oldenburg.DE]
Harro Wimmel [Harro.Wimmel@Informatik.Uni-Oldenburg.DE]
(last update: February, 7th 2002)