%0 Journal Article
%T Non-blocking Supervisor Design for Flexible Manufacturing Systems<br>柔性制造系统非阻塞监督控制器优化设计
%A ZHAO Mi
%A HOU Yi-fan
%A <br>赵咪
%A 侯一凡
%J 计算机科学
%D 2009
%I 
%X 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 ...
%K FMS
%K Petri net
%K Deadlock prevention
%K Elementary siphon
%K Non-blocking<br>柔性制造系统
%K Petri网
%K 死锁预防
%K 基本信标
%K 非阻塞
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E41203DE51C2C075BBA91578C0A1C96D&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=B31275AF3241DB2D&sid=4B1FFFA116F7AE3B&eid=82722E2B785EBF0D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12