Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

By Agata Polrola and Wojciech Penczek

Book Overview

Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.

• Format: Paperback
• Language: English
• ISBN: 3642069428
• ISBN13: 9783642069420
• Release Date: November 2010
• Publisher: Springer
• Length: 257 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"