Spara
Advances in Verification of Time Petri Nets and Timed Automata
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs 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.
- Undertitel
- A Temporal Logic Approach
- Författare
- Agata Polrola, Wojciech Penczek
- ISBN
- 9783540328704
- Språk
- Engelska
- Utgivningsdatum
- 2007-03-06
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
