Modeling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (by Villani, E. et al.; 2007) [Book review]

This book attempts to bring together recent developments in hybrid systems research for formal analysis methods and software engineering tools for building large information systems. The result is the construction of a elaborate modeling formalism that is very expressive and flexible in order to allow modeling of real-world examples. The value of this book is counterbalanced by weaknesses with respect to theoretical foundations and methods, automated analysis tools. and the pedagogical value.