Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach - Villani, Emilia; Miyagi, Paulo E.; Valette, Robert (Springer London, 2007)