Design of Supervisor Ensuring Deadlock Free for S3PR
An effective deadlock prevention policy is proposed to solve the deadlock problem for a class of Petri nets, which is S3PR nets. Firstly, the method of LIP is used to find the minimal siphons which may lead to deadlocks. Secondly, for every minimal siphon, a monitor is added to it by the approach of P-invariant which then ensures that none of them would be emptied without generating new control-induced minimal siphons. Thanks to this policy, complete siphon enumeration is avoided without generating new minimal siphons that will be emptied. Therefore, it has greatly decreased the computational complexity, avoided repeated iterations and simplified the supervisors. An FMS example is used to illustrate the proposed deadlock prevention policy.
Petri net siphon FMS deadlock prevention
Chengying Wang Shouguang Wang Liangxu Zhao
College of Information & Electronic Engineer, Zhejiang Gongshang University, Hangzhou 310018, China
国际会议
2009 International Workshop on Information Security and Application(2009 信息安全与应用国际研讨会)
青岛
英文
380-383
2009-11-21（万方平台首次上网日期，不代表论文的发表时间）