Petrinetze

Wintersemester 2008/2009


Lehrbeauftragter: Prof. Dr. Jürgen Dassow
Wochenstunden: 4+0+0
Zuhörerkreis: Hauptstudium Informatik, DKE
Voraussetzungen: Einführung in die Theoretische Informatik
Prüfung bzw. Scheinerwerb: jeweils durch eine mündliche Prüfung von 20-30 Minuten

Inhalt:

Verschiedene Varianten von Petri-Netzen; Erreichbarkeit, Sicherheit und Lebendigkeit bei Petri-Netzen; Entscheidbarkeitsprobleme und Sprachen bei Petri-Netzen; Anwendungen.

Literatur:

Skriptum

Stundenplan laut Univis


Zurück zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster