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 – A Temporal  Logic Approach" introduces timed and untimed temporal specification languages  and gives model abstraction methods based on state class approaches for TPNs  and on partition refinement for TA. Moreover, the monograph presents a recent progress  in the development of two model checking methods, based on either exploiting  abstract state spaces or on application of SAT-based symbolic techniques.   The book addresses research scientists as well as graduate and PhD students  in computer science, logics, and engineering of real time systems.

Advances in verification of time petri nets and timed automata: a temporal logic approach PDF

The list of books you might like