Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Published on 26. June 2006
Book
Hardback
XXXII, 257 pages
978-3-540-32869-8 (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
2006 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XXXII, 257 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 21 mm
Weight
606 gr
ISBN-13
978-3-540-32869-8 (9783540328698)
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
11/2010
Springer
€160.49
Shipment within 7-9 days
Wojciech Penczek | Agata Pólrola
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
E-Book
03/2007
Springer
€149.79
Available for download
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.