%0 Journal Article
%T Synthesis of Optimal Live Petri Net Models for a Class of FMS<br>一类FMS的最佳活Petri网模型的综合
%A Xing keyi
%A Li Junming
%A Hu Baosheng
%A <br>邢科义
%A 李俊民
%A 胡保生
%J 自动化学报
%D 1997
%I 
%X In this paper, the Petri net model for a class of flexible manufacturing systems is constructed, and the deadlock problem in FMS is discussed. We prove a necessary and sufficient condition for liveness of system model and present and optimal deadlock avoidance controller which is a Petri net. The controlled closed loop systems may be modeled by live Petri nets.
%K FMS
%K Petri net
%K deadlock avoidance control<br>柔性制造系统
%K Petri网
%K 死锁控制
%K FMS
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=C01F1CCF64CACCA5FCAC553B332E433A&yid=5370399DC954B911&vid=EA389574707BDED3&iid=B31275AF3241DB2D&sid=1CBB73E9593E8833&eid=70081086C74F4110&journal_id=0254-4156&journal_name=自动化学报&referenced_num=1&reference_num=2