Petrinetze

Sommersemester 2007

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-Netze; Anwendungen.

Literatur:

Scriptum Folien:

Stundenplan laut Univis

Webmaster