Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642069420 - 25. november 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.629

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 25. november 2010
ISBN13 9783642069420
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 257
Mål 156 × 234 × 15 mm   ·   412 g
Språk Engelsk  

Mer med Wojciech Penczek

Vis alle

Se alt med Wojciech Penczek ( f.eks. Pocketbok og Innbunden bok )