Villani E. Modelling and analysis of hybrid supervisory systems : a Petri net approach / E. Villani, P. E. Miyagi, R. Valette, 2007 r=on-line. - Текст : электронный.