Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Inbunden, Engelska, 2006
2 099 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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
- Utgivningsdatum2006-06-26
- Mått210 x 297 x undefined mm
- SpråkEngelska
- SerieStudies in Computational Intelligence
- Antal sidor257
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540328698