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

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

by Wojciech Penczek, Agata Pólrola

Paperback(Softcover reprint of hardcover 1st ed. 2006)

$159.99
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, October 16

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: 9783642069420
Publisher: Springer Berlin Heidelberg
Publication date: 11/24/2010
Series: Studies in Computational Intelligence , #20
Edition description: Softcover reprint of hardcover 1st ed. 2006
Pages: 257
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews