685,66 zł
685,66 zł
- Wydawca: Springer London
- Kategoria: Nauka i nowe technologie
- Język: angielski
- Rok wydania: 2007
This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.
Ebooka przeczytasz w dowolnej aplikacji obsługującej format:
