Advances in Verification of Time Petri Nets and Timed Automata
| Autor: | Penczek, Wojciech Pólrola, Agata |
|---|---|
| EAN: | 9783540328698 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 292 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 26.06.2006 |
| Untertitel: | A Temporal Logic Approach |
| Schlagworte: | Automatentheorie Petri-Netz |
160,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Presents a comprehensive introduction to timed automata and time Petri netsPresents existing methods of translating time Petri nets to timed automata
Verwandte Artikel
Weitere Produkte vom selben Autor