Lehrveranstaltung im Wintersemester 2011/2012
Petri-Netze
Master-Ergänzungskurs in Theoretischer Informatik (auch Diplom-Hauptstudium)
VAK 03-ME-699.02, Kategorie A, 6 CP/MTG, 4 SWS
Petri-Netze sind ein Modell zur Beschreibung und Analyse von Abläufen mit nebenläufigen und nichtdeterministischen Vorgängen. Sie eignen sich zur Beschreibung dynamischer Systeme, die eine feste Grundstruktur besitzen, wie z.B. Rechenanlagen, Betriebssysteme oder Organisationsabläufe. Typische Fragestellungen an solche Systeme sind: Terminiert das beschriebene System? Kann (ausgehend von einer Startsituation) eine vorgegebene Aktion im weiteren Verlauf nochmals, vielleicht auch beliebig oft ausgeführt werden? Treten vermeidbare Verklemmungen auf? Ist von einem gegebenen Systemzustand aus ein anderer bestimmter Zustand erreichbar? Ist die Zahl der erreichbaren Systemzustände beschränkt?
Der Kurs gibt eine Einführung in die formale Untersuchung derartiger Fragestellungen mit Hilfe von mathematischen Konstruktions- und Beweismethoden, die Methoden zur Analyse von Petri-Netzen hervorbringen.
Termine (Beginn: 1.11.2011)
Materialien und Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung unter Dateien zu finden.
Kontakt
- Prof. Dr. Hans-Jörg Kreowski
Raum: OAS 3001
kreo@informatik.uni-bremen.de
Dr. Sabine Kuske
Raum: OAS 3005
kuske@informatik.uni-bremen.de
Mail Address
University of Bremen
Dept. for Math. &
Computer Science
P.O. Box 330 440
28334 Bremen
Germany
Physical Address
Linzer Strasse 9a
OAS 3002
28359 Bremen
Phone
++49(421)218 64450
Fax
++49 (421) 218 4322
Email (Secr.)
Helga Reinermann
helga@tzi.de
