Advances in Verification of Time Petri Nets and Timed Automata
| Author | : Wojciech Penczek |
| Publisher | : Springer |
| Total Pages | : 279 |
| Release | : 2007-03-06 |
| ISBN-10 | : 9783540328704 |
| ISBN-13 | : 354032870X |
| Rating | : 4/5 (70X Downloads) |
Book Synopsis Advances in Verification of Time Petri Nets and Timed Automata by : Wojciech Penczek
Download or read book Advances in Verification of Time Petri Nets and Timed Automata written by Wojciech Penczek and published by Springer. This book was released on 2007-03-06 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.