Sommersemester 2017

<< WS2016   
Archiv
Lehrveranstaltung und -termine, Stand: 23.03.17 01:11
Petrinetze - Prof. Klaus Reinhardt
1 Termine

Schaltverhalten von Petrinetzen, Invarianten, Lebendgkeit, Beschränktheit,
Überdeckungsgraphkonstrunktion, Petrinetzsprachen, schwache Petrinetzberechenbarkeit,
Invarianten, Zusammenhänge zu formalen Sprachen und Logik,
lineare Algebra und Presburger Arithmetik.

Baumgarten, B.: Petrinetze, Grundlagen und Anwendungen. BI-Wiss.-Verl., 1990
Priese, Wimmel: Theoretische Informatik Petrinetze Springer, 2003
Reutenauer, C.: The Mathematics of Petri-nets. Masson and Prentice Hall, 1990
Starke, P.: Analyse von Petri-Netz-Modellen. Teubner, 1990
Animationsapplet unter http://www-fs.informatik.uni-tuebingen.de/~reinhard/petra.html

Übungen
Übung zu Petrinetze  
Raum: CZ 3, SR 131 Dienstags 12:15, (Donnerstag 10:15) Prof. Klaus Reinhardt
Einschreibung von 20.10.11 14:00 bis 20.02.12 15:00 | derzeit 8  |