Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642069420 - 25. November 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence 1st Ed. Softcover of Orig. Ed. 2006 edition

Preis
SFr. 127,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 1. - 9. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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.

257 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 25. November 2010
ISBN13 9783642069420
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 257
Maße 156 × 234 × 15 mm   ·   412 g
Sprache Englisch  

Weitere Titel von Wojciech Penczek

Alle anzeigen

Alle Titel von Wojciech Penczek ansehen ( u. a. Taschenbuch und Gebundenes Buch )