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

[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