Non-blocking Supervisor Design for Flexible Manufacturing Systems
柔性制造系统非阻塞监督控制器优化设计

We developed a novel deadlock prevention policy for Petri nets that can model concurrent execution of manufacturing assembly processes in FMS(Flexible Manufacturing Systems) through a class of nets,called G-systems.A relevant property of the system behavior is to be non-blocking,i.e.,from any reachable state,a desirable state can be always reached under supervision.Firstly,monitors were added to ensure the controllability of elementary siphons of Petri nets,then the controllability of dependent siphons was ...