Home
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters
![Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783642069420.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters
From Wojciech Penczek
Current price: $246.95
Loading Inventory...
Size: 1 x 9.25 x 1
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
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. | Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters