Advances in Verification of Time Petri Nets and Timed Automata
Download or Read eBook Advances in Verification of Time Petri Nets and Timed Automata PDF 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.
| Author | : Wojciech Penczek |
| Publisher | : Springer |
| Total Pages | : 279 |
| Release | : 2007-03-06 |
| ISBN-10 | : 9783540328704 |
| ISBN-13 | : 354032870X |
| Rating | : 4/5 (04 Downloads) |
Book Synopsis Advances in Verification of Time Petri Nets and Timed Automata by : Wojciech Penczek
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.
