Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Published on 25. November 2010
Book
Paperback/Softback
XXXII, 257 pages
978-3-642-06942-0 (ISBN)
Description
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.
More details
Series
Edition
Softcover reprint of hardcover 1st ed. 2006
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XXXII, 257 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
446 gr
ISBN-13
978-3-642-06942-0 (9783642069420)
DOI
10.1007/978-3-540-32870-4
Schweitzer Classification
Other editions
Additional editions
Wojciech Penczek | Agata Pólrola
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Book
06/2006
Springer
€160.49
Shipment within 10-15 days
Content
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.