期刊名称：International Journal of Intelligent Control and Systems
印刷版ISSN：0218-7965
出版年度：2005
卷号：10
期号：3
页码：235-243
出版社：Westing Publishing Co., Fremont
摘要：The competition for limited resources can produce deadlocks in flexible manufacturing systems (FMS). Petri nets are an effective way to model, analyze, and control deadlocks in FMS. Our previous work proposes elementary siphons as an important concept in investigating the deadlock problems in Petri nets. This paper presents an elementary siphon-based deadlock prevention method. It then performs the analysis of this new policy and a well-established deadlock prevention policy based on strict minimal siphons. Both methods are used to solve the deadlock control problems for a number of FMS with different scales. This paper concludes that the new policy can always lead to structurally simple liveness-enforcing net supervisors than the other method.
