Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
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...
Κύριοι συγγραφείς: | Penczek, Wojciech (Συγγραφέας), Pólrola, Agata (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
Σειρά: | Studies in Computational Intelligence,
20 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
ανά: Penczek, Wojciech
Έκδοση: (2006) -
Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2005) -
Advanced Discrete-Time Control Designs and Applications /
ανά: Abidi, Khalid, κ.ά.
Έκδοση: (2015) -
Knowledge Representation Techniques A Rough Set Approach /
ανά: Doherty, Patrick, κ.ά.
Έκδοση: (2006) -
Information Technologies in Biomedicine
Έκδοση: (2008)