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.