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

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