Lehrveranstaltung und -termine, Stand: 22.01.19 09:01
Petrinetze -
Prof. Klaus Reinhardt
1 Termine
Wintersemester 2011/2012;
Bereich: Theoretische Informatik I
-> Institut für Informatik -> Fakultät für Mathematik und Informatik
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
|
|
|