Villani Emilia, Miyagi Paulo Eigi, Valette Robert:
Modelling And Analysis Of Hybrid Supervisory Systems
A Petri Net Approach
Springer London Ltd (United Kingdom), 2007
Hardback, 246 pages
Size: 235x155 mm
ISBN: 9781846286506
ISBN-10: 1846286506
Modelling And Analysis Of Hybrid Supervisory Systems
Introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. This book presents a validation procedure that allows verification of the formal properties of the hybrid model.

