Preisvergleich / Suche / Wohnen / Büro / Advances in Verification of Time Petri Nets and Timed Automata, Fachbücher von Wojciech Penczek, Agata Pólrola
Thumbnail - Advances in Verification of Time Petri Nets and Timed Automata, Fachbücher von Wojciech Penczek, Agata Pólrola

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 de... Mehr erfahren

Sammle bis zu 80 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis80 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

160,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

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.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer