ISBN-10:
3540328696
ISBN-13:
9783540328698
Pub. Date:
07/28/2006
Publisher:
Springer Berlin Heidelberg
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach / Edition 1

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach / Edition 1

by Wojciech Penczek, Agata Pólrola

Hardcover

Current price is , Original price is $219.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Overview

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

Product Details

ISBN-13: 9783540328698
Publisher: Springer Berlin Heidelberg
Publication date: 07/28/2006
Series: Studies in Computational Intelligence , #20
Edition description: 2006
Pages: 257
Product dimensions: 8.27(w) x 11.69(h) x 0.03(d)

Table of Contents

Part I 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.- Part II Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews