LLP supervisory control with timed Petri net models in mobile robots. - Keigo Kobayashi; Kengo Inoue; Toshimistu Ushio (SMC, 2001)