[1]金霞,许超,孙庆鸿.板材FMS基于RBOPN模型的死锁分析[J].东南大学学报(自然科学版),2007,37(3):420-422.[doi:10.3969/j.issn.1001-0505.2007.03.013]
 Jin Xia,Xu Chao,Sun Qinghong.Deadlock analysis based on RBOPN model in sheet metal FMS[J].Journal of Southeast University (Natural Science Edition),2007,37(3):420-422.[doi:10.3969/j.issn.1001-0505.2007.03.013]
点击复制

板材FMS基于RBOPN模型的死锁分析()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
37
期数:
2007年第3期
页码:
420-422
栏目:
机械工程
出版日期:
2007-05-20

文章信息/Info

Title:
Deadlock analysis based on RBOPN model in sheet metal FMS
作者:
金霞1 许超2 孙庆鸿2
1 南京航空航天大学机电学院, 南京 210016; 2 东南大学机械工程学院, 南京 211189
Author(s):
Jin Xia1 Xu Chao2 Sun Qinghong2
1 College of Mechanical and Electrical Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
2 School of Mechanical Engineering,Southeast University,Nanjing 211189, China
关键词:
柔性制造系统(FMS) Petri网 死锁 板材
Keywords:
flexible manufacturing system(FMS) Petri net deadlock sheet metal
分类号:
TH165
DOI:
10.3969/j.issn.1001-0505.2007.03.013
摘要:
基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对象的所有相关对象的内部行为,研究抽象对象、物理对象及其相关对象之间的消息传递关系,建立各对象通讯子网(OCNet),并对各子网应用不变量理论分析方法检测其死锁情况,从而实现了对整个系统的死锁分析.实例分析表明,该死锁分析方法简化了计算分析过程,提高了工作效率.
Abstract:
Based on the RBOPN’s(rule based object-oriented Petri net)capability of describing the dynamic behavior of a sheet metal flexible manufacturing system(FMS)and of analyzing the relationship between interrelated child object Petri net, a new deadlock analysis approach is presented. By means of investigating the information relationship between physical object and abstract object that encapsulate all the internal behavior of physical-object-related object, child object communication net(OCNet)is constructed. Deadlock analysis of the OCNet, and then of the whole FMS system, are performed by employing the theory of invariants as the deadlock detection method. Example indicates that the approach significantly simplifies the process of calculation and analysis; moreover it greatly improves working efficiency.

参考文献/References:

[1] Coffman E G.System deadlock[J].Computer Surveys,1997,3(2):67-78.
[2] Mohan Sridhar,Yalcin Ali,Khator Suresh.Controller design and performance evaluation for deadlock avoidance in automated flexible manufacturing cells[J]. Robotics and Computer-Integrated Manufacturing,2004,20(6):541-551.
[3] Xing K Y,Hu B S,Chen H X.Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources[J]. IEEE Transactions on Automatic Control,1996,41(2):289-294.
[4] Erpelete J,Colom J M,Martinez J.A Petri net based deadlock prevention policy for flexible manufacturing systems[J]. IEEE Transactions on Robotics and Automation,1995,11(2):173-184.
[5] Huang Y,Jeng M.Deadlock prevention policy based on Petri nets and siphons[J].International Journal of Production Research,2001,39(2):283-305.
[6] Liu C M,Wu F C.Using Petri nets to solve FMS problems[J].Computer Integrated Manufacturing,1993,6(3):175-185.
[7] Gradara S,Santone A,Villani M L.Using heuristic search for finding deadlocks in concurrent systems[J].Information and Computation,2005,202(2):191-226.
[8] 金霞,许超,孙庆鸿.板材FMS基于规则的面向对象Petri网建模[J].制造业自动化,2002,22(9):27-29.
  Jin Xia,Xu Chao,Sun Qinghong.Modeling of rule based object-oriented Petri net in FMS[J]. Manufacturing Automation,2002,22(9):27-29.(in Chinese)

相似文献/References:

[1]王冬冬,达庆利.基于模糊Petri网的供应链诊断建模分析[J].东南大学学报(自然科学版),2006,36(4):662.[doi:10.3969/j.issn.1001-0505.2006.04.036]
 Wang Dongdong,Da Qingli.Analyzing and modeling of supply chain diagnosis based on fuzzy Petri net[J].Journal of Southeast University (Natural Science Edition),2006,36(3):662.[doi:10.3969/j.issn.1001-0505.2006.04.036]
[2]高茜,罗军舟.一种基于Petri网的可扩展的CIM信息系统建模方法[J].东南大学学报(自然科学版),2004,34(2):184.[doi:10.3969/j.issn.1001-0505.2004.02.010]
 Gao Qian,Luo Junzhou.Scalable methodology for CIM information system modeling based on Petri nets[J].Journal of Southeast University (Natural Science Edition),2004,34(3):184.[doi:10.3969/j.issn.1001-0505.2004.02.010]
[3]苏春,许超,孙庆鸿.基于扩展着色赋时Petri网的板材FMS建模及分析[J].东南大学学报(自然科学版),2000,30(2):89.[doi:10.3969/j.issn.1001-0505.2000.02.019]
 Su Chun,Xu Chao,Sun Qinghong.Modeling and Analysis of the Sheet Metal FMS Based on Extended Colored Timed Petri Nets[J].Journal of Southeast University (Natural Science Edition),2000,30(3):89.[doi:10.3969/j.issn.1001-0505.2000.02.019]
[4]王茜,李刚,唐春华,等.按角色过程建模的研究与实现[J].东南大学学报(自然科学版),2000,30(3):1.[doi:10.3969/j.issn.1001-0505.2000.03.001]
 Wang Qian,Li Gang,Tang Chunhua,et al.Research and Implementation of Role-Based Process Modeling[J].Journal of Southeast University (Natural Science Edition),2000,30(3):1.[doi:10.3969/j.issn.1001-0505.2000.03.001]
[5]罗军舟,顾冠群.协议描述和验证的基本方法[J].东南大学学报(自然科学版),1996,26(5):1.[doi:10.3969/j.issn.1001-0505.1996.05.001]
 Luo Junzhou,Gu Guanqun.Basic Method for Protocol Specification and Verification[J].Journal of Southeast University (Natural Science Edition),1996,26(3):1.[doi:10.3969/j.issn.1001-0505.1996.05.001]
[6]姜浩,毕诸明,朱岩.FMS运控软件的死锁问题及其检测方法[J].东南大学学报(自然科学版),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(3):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
[7]姜浩,毕诸明,朱岩.FMS运行控制系统的建模方法及测试机理[J].东南大学学报(自然科学版),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(3):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]

备注/Memo

备注/Memo:
作者简介: 金霞(1974—),女,博士,讲师, meejxia@nuaa.edu.cn.
更新日期/Last Update: 2007-05-20