考虑FMS资源故障的一种死锁预防策略

考虑FMS资源故障的一种死锁预防策略

李志武;丁伟;朱荣明

(西安电子科技大学机电工程学院，陕西西安 710071)

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2005-12-20 发布日期:2005-12-20

A deadlock prevention policy for FMS using Petri nets in case of failures

LI Zhi-wu;DING Wei;ZHU Rong-ming

(School of Electro-Mechanical Engineering, Xidian Univ., Xi′an 710071， China)

Received:1900-01-01 Revised:1900-01-01 Online:2005-12-20 Published:2005-12-20

摘要/Abstract

摘要： 提出了利用Petri网对设备发生故障的柔性制造系统建模和死锁控制的一种方法．用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程．在此基础上，研究了一种死锁控制策略：仅对基本信标添加控制库所，通过调整基本信标的控制深度来保证从属信标的可控性．由于基本信标个数远少于可清空信标个数，这种控制方法可大大简化Petri网控制器的结构．

关键词: 死锁预防, 柔性制造系统, 基本信标

Abstract: Abrupt failure of equipments in FMS is modeled by Petri nets, which can describe the behavior of malfunctioning equipment such as failure, recovery and rework with a failure place, a failure transition and a recovery transistion. Based on such modeling techniques, a new deadlock prevention method is presented, which controls elementary siphons only and makes dependent siphons P-invariant controlled by adjusting the control depth variables of elementary siphons. The structure of the resultant supervisors can be greatly simplified due to the fact that only the elementary siphons need to be explicitly controlled.

Key words: deadlock prevention, flexible manufacturing system(FMS), elementary siphon

中图分类号:

TP278

李志武;丁伟;朱荣明. 考虑FMS资源故障的一种死锁预防策略[J]. J4, 2005, 32(6): 833-838.

LI Zhi-wu;DING Wei;ZHU Rong-ming.

A deadlock prevention policy for FMS using Petri nets in case of failures

[J]. J4, 2005, 32(6): 833-838.

[1]	王祺;陈晓亮. 一种用于柔性制造系统混惑状态估计的算法[J]. 西安电子科技大学学报, 2017, 44(2): 69-74.
[2]	尤丹;刘苗;吴文慧;王寿光. S³PR网的严格极小信标计算方法[J]. J4, 2014, 41(4): 193-197+204.
[3]	洪良. S³PR网可达标识数的一种有效估算方法[J]. J4, 2014, 41(3): 169-173.
[4]	郭金维;李志武. 一种时延Petri网的死锁预防方法[J]. J4, 2009, 36(5): 902-908.
[5]	王安荣;李志武. 基本信标计算的一种快速算法[J]. J4, 2008, 35(4): 632-638.
[6]	闫明明;李志武;钟春富. S<sup>3</sup>PR网的一种死锁预防策略 [J]. J4, 2008, 35(2): 330-333.
[7]	赵咪;李志武. 一类离散事件系统的非阻塞监督控制器设计 [J]. J4, 2006, 33(5): 735-738.
[8]	胡核算;李志武;王安荣. 最优基本信标在柔性制造系统死锁控制中的应用[J]. J4, 2006, 33(4): 607-611.
[9]	李志武;徐平江;朱荣明;王兴平. 柔性制造系统活性监督控制器的简化设计[J]. J4, 2006, 33(3): 442-447.
[10]	李志武;马雄. 一种利用基本信标的柔性制造系统死锁控制器设计方法[J]. J4, 2006, 33(2): 262-267.
[11]	暂时无作者信息. 柔性制造系统调度算法研究[J]. J4, 2002, 29(1): 35-39.
[12]	暂时无作者信息. 集成电路虚拟制造系统[J]. J4, 2001, 28(4): 443-448.
[13]	刘宏;李志武;叶尚辉. FMS的一种实时控制Petri网模型及其应用[J]. J4, 1997, 24(2): 0-0.