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
Ü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
|
|