Titel: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Verlag: Springer
Erscheinungsjahr: 2006
Sprache: Englisch
ISBN-10: 3540328696
ISBN-13: 9783540328698
Einband: Hardcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	4 bis 10�Werktage	3 bis 6�Werktage
Erster Artikel	EUR 3.40	EUR 5.96

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.