Modelling and analysis of hybrid supervisory systems a petri net approach - Villani, Emilia (Springer, 2007)