Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Description

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.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2922
2. Lectures on Concurrency and Petri Nets: Advances in Petri Nets
3. [request_ebook] Timed Petri Nets: Theory and Application
4. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
5. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
6. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
7. Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009
8. Concurrency and Hardware Design(Advances in Petri Nets)
9. Concurrency and Hardware Design - Advances in Petri Nets
10. Concurrency and Hardware Design - Advances in Petri Nets
11. The Theory of Timed I/O Automata
12. Stochastic Petri Nets
13. Stochastic Petri Nets
14. Stochastic Petri Nets
15. Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control) { Repost }
16. Discrete, Continuous, and Hybrid Petri Nets