Seminar Petri-Netze
WS01/02
Themenvergabe: Freitag 19.10., 14.00 Uhr, A3 2-214
Übersicht:
- Themen können bereits frühzeitig vergeben werden. Wenden Sie
sich dazu bitte an Prof. Dr. Eike Best (Raum A3 2-203) oder Dr. Harro Wimmel
(Raum A3 2-215). Beachten Sie aber: Es sind fünf Anmeldungen
erforderlich, damit das Seminar stattfinden kann.
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.
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.
Die Seminarvorträge sind für die letzten Vorlesungswochen des
Wintersemesters 2001/2002 geplant. Bei starker Beteiligung kann
das Seminar eventuell auch als Blockveranstaltung am Ende des
Wintersemesters stattfinden. 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.
- Wünschenswert: Der Besuch einer Vorlesung zum Thema Petri-Netze.
- 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: July, 11th 2000)