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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Penczek, Wojciech (Autor), Pólrola, Agata (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Studies in Computational Intelligence, 20
Temas:
Engineering.
Mathematics.
Engineering mathematics.
Engineering-Data processing.
Artificial intelligence.
Technology and Engineering.
Mathematical and Computational Engineering Applications.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Specifying Timed Systems and Their Properties
  • Petri Nets with Time
  • Timed Automata
  • From Time Petri Nets to Timed Automata
  • Main Formalisms for Expressing Temporal Properties
  • Model Generation and Verification
  • Abstract Models
  • Explicit Verification
  • Verification Based on Satisfiability Checking.

Ejemplares similares