Download or read book Modelling and Analysis of Hybrid Supervisory Systems written by Emilia Villani and published by Springer Science & Business Media. This book was released on 2007-05-18 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.