Supervisor synthesis for a class of concurrent discrete event systems. - Shigemasa Takai; Toshiniitsu Ushio (CDC, 2003)