Non-blocking supervisory control of a modular class of discrete event systems

• 一类离散事件系统的非阻塞监督控制器设计