Inbunden, Engelska, 2006
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Wojciech Penczek, Agata Pólrola
Del 20 i serien Studies in Computational Intelligence
1620 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2006-06-26
- Mått: 210 x 297 x 21 mm
- Vikt: 554 g
- Format: Inbunden
- Språk: Engelska
- Serie: Studies in Computational Intelligence
- Antal sidor: 257
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540328698
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.