Veranstalter
Prof. Dr. Christel Baier (Uni Bonn) und
Prof. Dr. Ir. Joost-Pieter Katoen (RWTH Aachen)
Inhalt
Dieses Proseminar wird im Rahmen der "Exzellenzkomponente" des B-IT (Bonn-Aachen Institute of Information
Technology) angeboten.
Es wendet sich an Studierende aus Aachen und Bonn im 3. oder 4. Semester, die sehr gute Leistungen in den
Theorie-Vorlesungen erreicht haben.
Gegenstand sind Buchkapitel aus den folgenden Bücher:
- Petri-Netze: Grundlagen und Anwendungen (2. Auflage)
B. Baumgarten
Spektrum Akademischer Verlag.
- Petrinetze, lineare Algebra und lineare Programmierung
J. Desel
Teubner Texte zur Informatik (Band 26).
- Modelling with Generalizwed Stochastic Petri Nets
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli und G,. Franceschinis
John Wiley and Sons, Series in Parallel Computing.
Die Themen betreffen u.a. Grundlagen von Petri-Netzen, Stellen/Transition (S/T)-Systemen, Erreichbarkeitsanalyse,
S- und T-Invarianten, Netzspezifische Eigenschaften, Zeit- und stochastische Erweiterungen von Petri-Netzen.
Zeitplan
Das Proseminar findet als Blockveranstaltung (ganztägig) am 22. und 23. April 2005 am B-IT in Bonn im
Marschallsaal statt.
Anmeldung
Die Studierenden richten ihre Bewerbungen bevor 5. Februar 2005 direkt an Prof. Katoen (katoen [at]
cs.rwth-aachen.de), unter Angabe von Name, Hochschule (Bonn/RWTH), Studiengang und Matrikelnummer sowie eine
kurze Werdegang mit bereits abgelegter Prüfungen, und Studiendauer (seit wann eingeschrieben).
Die zugelassenen Teilnehmer erhalten per E-Mail gesondert Nachricht.
Themenvergabe verfolgt nach der Zulassung per E-Mail.
Termine
Es wird erwartet, dass die folgenden Termine eingehalten werden:
- 3 bis 4 Wochen vor dem Proseminar führen die Teilnehmer ein Gespräch mit dem Betreuer über die bis zu diesem
Zeitpunkt vorliegenden Resultate. Insbesondere soll bei diesem Termin eine Gliederung besprochen werden.
- Eine Woche vor dem Proseminar liegt dem Betreuer die endgültige Version der Ausarbeitung vor.
- Die Ausarbeitung wird, in genügender Anzahl kopiert, zum Proseminartreffen mitgebracht (bzw. eine Woche
vor dem Proseminar im Sekretariat des Lehrstuhls ausgelegt)
Schein
Zum Erhalt des Scheins müssen Sie die folgenden drei Bedingungen erfüllen:
- Sie halten einen Vortrag (jeweils ca. 30-40 Minuten)
- vor dem Vortrag erstellen Sie eine Ausarbeitung (ca. 15 Seiten, nicht viel weniger, keinesfalls mehr)
- Sie nehmen an allen Vorträgen teil.
-
Hinweise
Wir empfehlen allen Teilnehmern den Artikel
How to present a paper in theoretical computer science: a speaker's guide for students von Ian Parberry bei der Erstellung
ihres Vortrages zu beachten.