| Author | Wojciech Penczek , Agata Polrola , Agata Pslrola |
| Format | Hardcover |
| ISBN | 9783540328698 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Manufacturer | Springer-verlag Berlin And Heidelberg Gmbh & Co. K |
A monograph that presents an introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. It also presents some of the methods of translating time Petri nets to timed automata, with a focus on the translations that correspond to the semantics of time Petri nets.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.