Wintersemester 2016/17

<< SS2016    SS2017 >>
Archiv
Lehrveranstaltung und -termine, Stand: 23.02.17 21:41
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  |