自动化学报2003，Vol.29Issue(5)：733-740,8.
基于Petri网的柔性制造系统一种预防死锁方法
A Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
摘要
Abstract
A deadlock prevention strategy for flexible manufacturing systems is developed based on Petri nets and their structural analysis. The concept of elementary siphons is proposed, it is a class of SMS (strict minimal siphons) with a smaller cardinality, particularly in the Petri net models of large-scale systems. By adding a control place for each elementary siphon to make it never be emptied, deadlocks can be prevented for a special class of Petri nets, namely S3 PR. That means not all SMS need to be considered when ensuring no siphon loses its tokens. For S3 PR, An approach is proposed for finding elementary siphons and SMS. Compared with the existing methods that control all SMS in a Petri net, the deadlock prevention policy has at least three advantages:1) only a smaller number of SMS need to be controlled, hence the deadlock-freeness or live Petri net model obtained has less additional places and arcs; 2) not need to compute the set of siphons beforehand; and 3) this policy is more suitable for large-scale Petri nets. These methods are illustrated with an example.关键词
Petri网/预防死锁/基本信标/柔性制造系统Key words
Petri nets/deadlock prevention/elementary siphon/FMS分类
信息技术与安全科学引用本文复制引用
李志武,王安荣..基于Petri网的柔性制造系统一种预防死锁方法[J].自动化学报,2003,29(5):733-740,8.基金项目
Supported by the Young Workstation Funds of Xidian University of P. R. China(YWF200201001) （YWF200201001）
