%0 Journal Article
%T On Deadlock Prevention of a Subclass of Petri Nets--S4R<br>一类Petri网—S4R的死锁预防策略
%A ZHU Sen
%A <br>朱森
%J 计算机科学
%D 2010
%I 
%X As a special subclass of Petri nets, S4R can model resource allocation systems with multiple processed that are more complex than S3PR. This paper proposed a deadlock prevention policy for S4R. First, checked the liveness of a flexible manufacturing system modeled by S4R by using MIP. Then designed a supervisor for the system if it is not live,which is based on a new concept of siphon control. Again, checked the livcness of the controlled system by using MIP.If the controlled system is not live, it will be further controlled. This policy can avoid some constraints that are not necessary. Usually a livencss-enforcing supervisor with more permissive can he obtained by the proposed policy.
%K Petri net
%K Flexible manufacturing system
%K S4R
%K Deadlock prevention<br>Petri网，柔性制造系统
%K S4R，死锁预防
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8C0070FF4E1D443973FA4BB4C2380C77&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=F3090AE9B60B7ED1&sid=6490F0E20C4B41AD&eid=E39A3F4E3A67639B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0