Spar
Advances in Verification of Time Petri Nets and Timed Automata
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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.
- Undertittel
- A Temporal Logic Approach
- Forfatter
- Wojciech Penczek, Agata Polrola
- ISBN
- 9783540328704
- Språk
- Engelsk
- Utgivelsesdato
- 6.3.2007
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
