Home
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters
Loading Inventory...
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters
From Wojciech Penczek
Current price: $246.95
From Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata by Wojciech Penczek, Paperback | Indigo Chapters
Current price: $246.95
Loading Inventory...
Size: 1 x 9.25 x 1
*Product information may vary - to confirm product availability, pricing, shipping and return 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