Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)

ISBN: 3540328696

Author: Penczek, Wojciech

Condition: New

Product DescriptionThis 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.From the Back CoverThis monograph presents a comprehensive introduction to timed automata (TA) andtime Petri nets (TPNs) which belong to the most widely used models of real-timesystems. Some of the existing methods of translating time Petri nets to timedautomata are presented, with a focus on the translations that correspond to thesemantics of time Petri nets, associating clocks with various components of thenets. "Advances in Verification of Time Petri Nets and Timed Automata - A TemporalLogic Approach" introduces timed and untimed temporal specification languagesand gives model abstraction methods based on state class approaches for TPNsand on partition refinement for TA. Moreover, the monograph presents a recent progressin the development of two model checking methods, based on either exploitingabstract state spaces or on application of SAT-based symbolic techniques.The book addresses research scientists as well as graduate and PhD studentsin computer science, logics, and engineering of real time systems.