Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach - Villani, Emilia; Miyagi, Paulo E.; Valette, Robert; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2007)
Keywords: Automatic control; Automatic control -- Mathematical models; System analysis; Automatic control -- Case studies; Petri nets; Engineering; Control Engineering; Computer Systems Organization and Communication Networks; Communications Engineering, Networks; Automation and Robotics; Computer Communication Networks