Fakultät für Informatik der Technischen Universität München,
Lehrstuhl für Theoretische Informatik und Grundlagen der KI


Hauptseminar im WS 2002/2003

Analyse von Petrinetzen





Vorbesprechung: war am Freitag, 19.07.2002, 10.15 Uhr, Raum 2710 (Stammgelände).


Seminar-Termin: Mittwoch, 10.00-12.00 Uhr, Raum 03.09.014.
                          Der erste Vortrag findet (wegen der FVV) erst am 30.10.2002 statt.

Ansprechpartner: Stefan Römer




Übersicht

Petrinetze sind ein einfacher, aber ausdrucksstarker Formalismus zur Beschreibung von nebenläufigen Systemen. Sie lassen sich anschaulich darstellen als Graphen mit zwei Knotentypen: den Stellen und Transitionen. Die Stellenknoten repräsentieren hierbei lokale Zustände, die das System einnehmen kann (symbolisiert durch bewegliche Marken auf den Stellen). Die Transitionen bestimmen die Übergänge von Zuständen in andere Zustände.

In diesem Seminar soll anhand einer Auswahl von Original-Arbeiten ein Einblick in die Theorie der Petrinetze und deren Analyse gegeben werden, die Vorträge behandeln Themen wie Modellieren von nebenläufigen Systemen mit Netzen, Netzklassen, Algorithmen zur Untersuchung von Netzeigenschaften, Entscheidbarkeits- und Berechenbarkeitsprobleme bei Netzen, Model Checking auf Netzen, ...


Themen

Die Termine der folgenden Liste sind noch nicht endgültig!

  Datum Thema Vortragende/r
  1 30.10.2002 Einführung in die Petrinetz-Theorie Raafetz Ouled-Zaid
  2 06.11.2002 Verhaltensbeschreibungen von Petrinetzen Abdelkader Mazan
  3 13.11.2002 Das Problem der Zustandsraumexplosion Janos Kovats
  4 20.11.2002 Entscheidbarkeit und Komplexität von Petrinetz-Problemen David Trachtenherz
  5 27.11.2002 Die Stubborn- und Sleep-Set-Methoden Bin Duan
  6 04.12.2002 Das endliche Präfix der Netzentfaltung Robert Süggel
  7 11.12.2002 Verbesserungen der Präfix-Generierung Yihong Zhang
  8 18.12.2002 Erreichbarkeits- und Deadlock-Untersuchung mit Linearer Programmierung Benedikt Elser
  9 08.01.2003 Erreichbarkeits- und Deadlock-Untersuchung mit Logik-Programmierung Hans Breidler
10 15.01.2003 Petrinetz-Model-Checking: Branching-Time-Logik Stephan Bodensteiner
11 22.01.2003 Petrinetz-Model-Checking: Linear-Time-Logik Canan Yesiltas
12 29.01.2003 Berechnung von Symmetrien bei Petrinetzen Andriy Treybich
13 29.01.2003 Symmetrien bei der Erreichbarkeitsanalyse Patrick Drude
14 05.02.2003 Petrinetz-Werkzeuge Bo Feng


Hinweise



This site is VIM powered Stefan Römer (Last modification: 2002/07/02-16:24)