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

杨元; 黎放; 侯重远; 杨磊

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

1.
海军工程大学管理工程系, 武汉 430033
2. 海军工程大学电气工程学院, 武汉 430033
3. 华中科技大学机械科学与工程学院, 武汉 430074

基金项目: 总装备部技术基础课题资助项目(4314231428);海军工程大学基金资助项目(HGDSK2008E27)

详细信息

中图分类号: TH 17
计量
- 文章访问数: 2631
- HTML全文浏览量: 24
- PDF下载量: 724
- 被引次数: 0
出版历程
- 收稿日期: 2010-09-10
- 网络出版日期: 2011-06-30

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

1.
Department of Management Science, Naval University of Engineering, Wuhan 430033, China
2. College of Electric and Information Engineering, Naval University of Engineering, Wuhan 430033, China
3. College of Mechanical Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074, China

摘要

摘要: 针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.
- 协同维修 /
- Petri网 /
- 共享合成 /
- 同步合成 /
- 资源冲突 /
- 派遣规则
Abstract: To deal with some classical characteristics and problems during collaborative maintenance process such as shared resource constraints, complicated handover about maintenance tasks and uncertain maintaining time, a method based on synthesis Petri net for modeling collaborative maintenance process was put forward. The three parametric array was applied to depict fuzzy maintenance time. Activity graphic ideas was introduced to describe interface information about collaborative units. The dispatching rule about shared resource was utilized to form a control net to avoid the conflict with limited resources. The construction algorithm of the synthesis Petri net for the collaborative maintenance process was shown. This method can solve the three major difficulties of the collaborative maintenance process analysis and give a reasonable interpretation on the dependency relationship of collaborative maintenance activities. The model is constructed which can be conducive to achieve the standardized description of the collaborative maintenance process. The example shows that the model is effective to predict completion time of collaborative maintenance and grasp the timing about handover of maintenance tasks and give the proposal of the optimal allocation on shared resources.
- collaborative maintenance /
- Petri net /
- sharing synthesis /
- synchronous synthesis /
- resource conflicts /
- dispatching rules

HTML全文

参考文献(1)

[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

施引文献

资源附件(0)

访问统计