留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

协同维修过程的合成Petri网建模与分析

杨元 黎放 侯重远 杨磊

杨元, 黎放, 侯重远, 等 . 协同维修过程的合成Petri网建模与分析[J]. 北京航空航天大学学报, 2011, 37(6): 711-716.
引用本文: 杨元, 黎放, 侯重远, 等 . 协同维修过程的合成Petri网建模与分析[J]. 北京航空航天大学学报, 2011, 37(6): 711-716.
Yang Yuan, Li Fang, Hou Chongyuan, et al. Modeling and analysis of collaborative maintenance process based on synthesis of Petri net[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(6): 711-716. (in Chinese)
Citation: Yang Yuan, Li Fang, Hou Chongyuan, et al. Modeling and analysis of collaborative maintenance process based on synthesis of Petri net[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(6): 711-716. (in Chinese)

协同维修过程的合成Petri网建模与分析

基金项目: 总装备部技术基础课题资助项目(4314231428);海军工程大学基金资助项目(HGDSK2008E27)
详细信息
  • 中图分类号: TH 17

Modeling and analysis of collaborative maintenance process based on synthesis of Petri net

  • 摘要: 针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.

     

  • [1] Moser T,Merdan M,Biffl S.A pattern-based coordination and test framework for multi-agent simulation of production automation systems //Leonanrd B.2010 International Conference on Complex,Intelligent and Software Intensive Systems (CISIS).Krakow:IEEE Computer Society,2010:526-533 [2] 乔立红,王超.多机协同与多目标分配任务规划方法[J].北京航空航天大学学报,2008,34(11):1266-1271 Qiao Lihong,Wang Chao.Resource conflict detection and management in implementation of multi-level and collaborative projects[J].Journal of Beijing University of Aeronautics and Astronautics,2008,34(11):1266-1271(in Chinese) [3] 杨付军,谭文安.一个支持协同过程的动态模拟算法[J].杭州电子科技大学学报,2008,28(6):67-71 Yang Fujun,Tan Wen-an.Cooperative process dynamic simulation algorithm[J].Journal of Hangzhou Dianzi University,2008,28(6):67-71(in Chinese) [4] Garciaa E,Guyennet H,Lapayrea J,et al.A new industrial cooperative tele-maintenance platform[J].Computers & Industrial Engineering,2004,46(8):851-864 [5] Wang J F,Peter W T,He L S,et al.Remote sensing,diagnosis and collaborative maintenance with web-enabled virtual instruments and mini-servers[J].The International Journal of Advanced Manufacturing Technology,2004,24(6):764-772 [6] Jenab K,Zolfaghari S.A virtual collaborative maintenance architecture for manufacturing enterprises[J].Journal of Intelligent Manufacturing,2008,19(6):763-771 [7] 臧铁钢,楼佩煌.CIMS的维修资源冲突半结构化消解方法研究[J].计算机集成制造系统,2007,13(3):202-208 Zang Tiegang,Lou Peihuang.Semi-structured model of maintenance resource conflicts elimination for CIMS[J].Computer Integrated Manufacturing Systems,2007,13(3):202-208(in Chinese) [8] Eun J L,Jeong I J,Lee J.Petri net based synthesis method to construct optimal controllers and its application to a jobshop scheduling //Jengshyang P.2008 Eighth International Conference on Intelligent Systems Design and Applications (ISDA -08).Kaohsiung:IEEE Computer Society,2008:637-642 [9] 续爱民,金烨.基于共享合成时间Petri网的船舶吊装过程建模[J].计算机集成制造系统,2007,13(3):465-471 Xu Aimin,Jin Ye.Modeling of block erection process in shipyard based on sharing synthesis of timed Petri net[J].Computer Integrated Manufacturing Systems,2007,13(3):465-471(in Chinese) [10] 魏新利,尹华杰.过程装备维修管理工程[M].北京:化学工业出版社,2005:97-101 Wei Xinli,Yin Huajie.Process equipment maintenance management engineering[M].Beijing:Chemical Industry Press,2005:97-101(in Chinese) [11] Kacprzak M,Kaczmarczyk A.Verification of integrated IDEF models[J].Journal of Intelligent Manufacturing,2006,10(6):585-596 [12] Lin K,Chen D,Sun Chengzheng,et al.Interval timed coloured Petri net:efficient construction of its state class space preserving linear properties[J].Formal Aspects of Computing,2008,20(2):225-238 [13] 蒲飞,陆维明.共享合成Petri网系统的活性保持性[J].系统工程理论与实践,2005,23(11):70-78 Pu Fei,Lu Weiming.Sharing synthesis of Petri net systems via preserving liveness[J].Systems Engineering theory & Practice,2005,23(11):70-78(in Chinese) [14] 蒲飞,陆维明.同步合成Petri网系统活性与无死锁性的保持性[J].软件学报,2003,14(12):1977-1988 Pu Fei,Lu Weiming.Preservation of liveness and deadlock-freeness in synchronous synthesis of Petri net systems[J].Journal of Software,2003,14(12):1977-1988(in Chinese) [15] Jensen K,Kristensen L M.Coloured Petri nets modeling and validation of concurrent systems[M].Heidelberg:Springer,2009:273-295
  • 加载中
计量
  • 文章访问数:  2549
  • HTML全文浏览量:  11
  • PDF下载量:  721
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-09-10
  • 网络出版日期:  2011-06-30

目录

    /

    返回文章
    返回
    常见问答