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

! 37 ! 3 # ! # $ $ % （自 然 科 学 版 ） Vol. 37 No. 3 2007 $ 5 % JOURNAL OF SOUTHEAST UNIVERSITY （Natural Science Edition ） May 2007 板材 FMS 基 于 RBOPN 模型 的死锁分析 1 2 2 金 霞 许 超 孙庆鸿 1 （ ， 210016 ） 南京航空航天大学机 电学 院 南京 2 ， 211189 ） （东南大学机械工程学 院 南京 ： RBOPN FMS 摘要 基于板材柔性制 系统模型 所具有的可以完全描述 动态行为 及系统 中 造 的 以 相 ， . 关对 关系的分析能 出一 死锁 分析方法 通过 抽象 象封装 系统 中 象子 网之间 力 提 种 检查 以 对 各物理 ， 、 ， 对象的所有相关对象的内部行为 研 究抽象对象 物理对象及其相关对象之 间的消息传递关系 建 立 （OCNet ）， ， 各对象通讯子网 并对各子 网应用不变量理论分析方法检测其死锁情况 从而实现 了对 . ， ， . 整个系统的死锁分析 实例分析表 明 该死锁分析方法简化 了计算分析过程 提高 了工作效率 ： （FMS ）；Petri ； ； 关键词 柔性制造 系统 网 死锁 板材 中图分类号：TH165 文献标识码 ：A 文章编号：100 1 - 0505 （2007 ）03-0420-03 Deadlock analysis based on RBOPN model in sheet metal FMS 1 2