Advances in Verification of Time Petri Nets and Timed Automata, Fachbücher von Wojciech Penczek, Agata Pólrola

Das Buch "Advances in Verification of Time Petri Nets and Timed Automata" bietet eine umfassende Einführung in die Modelle der zeitlichen Automata (TA) und der zeitlichen Petri-Netze (TPNs), die zu den am häufigsten verwendeten Modellen für Echtzeitsysteme gehören. Es werden verschiedene Methoden zur Übersetzung von zeitlichen Petri-Netzen in zeitliche Automata vorgestellt, wobei der Schwerpunkt auf Übersetzungen liegt, die der Semantik der zeitlichen Petri-Netze entsprechen. Das Werk behandelt auch zeitliche und unzeitliche Spezifikationssprachen sowie Methoden zur Modellabstraktion, die auf Klassenansätzen für TPNs und Partitionierungsverfeinerung für TA basieren. Darüber hinaus wird ein aktueller Fortschritt in der Entwicklung von zwei Modellprüfmethoden präsentiert, die entweder auf der Ausnutzung abstrakter Zustandsräume oder auf der Anwendung von SAT-basierten symbolischen Techniken beruhen. Das Buch richtet sich an Forschungsscientists sowie an Studierende der Informatik, Logik und Ingenieurwissenschaften im Bereich der Echtzeitsysteme.