Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

verfasst von: Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola

Verlag: Springer Berlin Heidelberg

Buchreihe : Studies in Computational Intelligence

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Einloggen, um Zugang zu erhalten

Inhaltsverzeichnis

Frontmatter

Specifying Timed Systems and Their Properties

Frontmatter

1. Petri Nets with Time

2. Timed Automata

3. From Time Petri Nets to Timed Automata

4. Main Formalisms for Expressing Temporal Properties

Model Generation and Verification

Frontmatter

5. Abstract Models

6. Explicit Verification

7. Verification Based on Satisfiability Checking

Backmatter

Titel: Advances in Verification of Time Petri Nets and Timed Automata
verfasst von: Doc.dr.hab. Wojciech Penczek
Dr. Agata Pólrola
Verlag: Springer Berlin Heidelberg
Electronic ISBN: 978-3-540-32870-4
Print ISBN: 978-3-540-32869-8
DOI: https://doi.org/10.1007/978-3-540-32870-4

Premium Partner

Marktübersichten

Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.

Zur Marktübersicht