Seminar zur Entscheidungslehre "Petri-Netze"

• Organisatorisches
  • Ankündigung der Veranstaltung im EVV
  • Einordnung: Das Seminar ist als Hauptseminar (verteidigtes Referat, 8 CP)für das Fach Entscheidungslehre anerkennbar. Es ist eine Anmeldung beim Prüfungsamt nötig.
  • Termin: Das Seminar findet als Kompakt-Seminar vom 07.03. bis 15.03.2005 auf derZaferna-Hütte im Kleinwalsertal/Österreich statt.
  • Platzvergabe: Die Plätze für das Ski-Seminar werden am D. 29.07.2004 um 13:00 Uhr im Leo 18 vergeben.
  • Materialien zu den Vorträgen erfragen Sie bei dem jeweiligen Betreuer.
  • Abgabe der Ausarbeitung: 24.01.2005
  • Vortragsdauer 30-35 Minuten (zzgl. anschließende Diskussion)


• Themen:

  betreut von Dr. Ingolf Terveer

  1. S/T-Systeme (Petri-Netze mit anonymen Marken) [Kapitel 3,4] (Markus Dreßler)
  2. Dynamische Eigenschaften von S/T-Systemen [Kapitel 6.1] (Ingo Beckert)
  3. Erreichbarkeitsanalyse für S/T-Systeme [Kapitel 6.2/6.3] (Lars Fischer)
  4. Lineare Analyse und Struktur-Dynamik-Beziehungen bei S/T-Netzen (Boris Beumers)
  5. Petri-Netze mit individuellen Marken [Kapitel 7] (Stefan Schellhammer)
  6. Kommunikationsprotokolle und Petri-Netze [Kapitel 11] (Sebastian Herwig)
     


• Literatur:
  1. Bernd Baumgarten: Petri-Netze [WI 11-385, 1. Auflage, demnächst in 2. Auflage vorhanden]


• Informationen zur Anfertigung von Seminararbeiten