板材FMS基于RBOPN模型的死锁分析  

Deadlock analysis based on RBOPN model in sheet metal FMS

作　　者：金霞[1] 许超[2] 孙庆鸿[2] 

机构地区：[1]南京航空航天大学机电学院,南京210016 [2]东南大学机械工程学院,南京211189

出　　处：《东南大学学报（自然科学版）》2007年第3期420-422,共3页Journal of Southeast University：Natural Science Edition

摘　　要：基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对象的所有相关对象的内部行为,研究抽象对象、物理对象及其相关对象之间的消息传递关系,建立各对象通讯子网(OCNet),并对各子网应用不变量理论分析方法检测其死锁情况,从而实现了对整个系统的死锁分析.实例分析表明,该死锁分析方法简化了计算分析过程,提高了工作效率.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.

关 键 词：柔性制造系统(FMS) Petri网 死锁 板材 

分 类 号：TH165[机械工程—机械制造及自动化]