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

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

en Limba Engleză Hardback – 26 iun 2006

Toate formatele și edițiile

	Preț	Express
Paperback (1)	923^.13 lei 6-8 săpt.
Springer Berlin, Heidelberg – 25 noi 2010	923^.13 lei 6-8 săpt.
Hardback (1)	934^.31 lei 6-8 săpt.
Springer Berlin, Heidelberg – 26 iun 2006	934^.31 lei 6-8 săpt.

Din seria Studies in Computational Intelligence

50%

Preț: 264^.48 lei
70%

Preț: 235^.75 lei
20%

Preț: 1138^.71 lei
20%

Preț: 970^.01 lei
20%

Preț: 1428^.22 lei
20%

Preț: 168^.78 lei
18%

Preț: 1093^.52 lei
20%

Preț: 565^.38 lei
20%

Preț: 638^.34 lei
20%

Preț: 1030^.03 lei
20%

Preț: 1552^.26 lei
20%

Preț: 632^.66 lei
20%

Preț: 646^.41 lei
20%

Preț: 976^.52 lei
20%

Preț: 974^.09 lei
20%

Preț: 973^.27 lei
20%

Preț: 1146^.00 lei
20%

Preț: 1420^.10 lei
20%

Preț: 1024^.36 lei
20%

Preț: 1030^.03 lei
20%

Preț: 1028^.39 lei
18%

Preț: 2458^.20 lei
20%

Preț: 972^.45 lei
20%

Preț: 1146^.00 lei
20%

Preț: 1144^.40 lei
20%

Preț: 1025^.17 lei
20%

Preț: 1435^.50 lei
18%

Preț: 1379^.82 lei
18%

Preț: 1105^.93 lei
20%

Preț: 1021^.92 lei
20%

Preț: 991^.11 lei
20%

Preț: 1027^.60 lei
20%

Preț: 1253^.88 lei
20%

Preț: 1022^.74 lei
20%

Preț: 971^.65 lei
20%

Preț: 1150^.03 lei
20%

Preț: 1142^.76 lei
20%

Preț: 1041^.37 lei
20%

Preț: 1144^.40 lei
20%

Preț: 1146^.83 lei
20%

Preț: 1434^.72 lei
18%

Preț: 988^.76 lei
20%

Preț: 980^.55 lei
20%

Preț: 1038^.11 lei
20%

Preț: 1262^.78 lei
20%

Preț: 977^.30 lei
20%

Preț: 1031^.01 lei
20%

Preț: 927^.84 lei
20%

Preț: 1153^.30 lei
20%

Preț: 1433^.08 lei

Preț: 934^.31 lei

Preț vechi: 1139^.41 lei
-18% Nou

Puncte Express: 1401

:
178^.80€ • 186^.28$ • 148^.67£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540328698
ISBN-10: 3540328696
Pagini: 292
Ilustrații: XXXII, 257 p.
Dimensiuni: 210 x 297 x 21 mm
Greutate: 0.59 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Studies in Computational Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

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.

Caracteristici

Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata

Papetărie, jocuri, reviste