基于增强型扩展的，面向对象Petri网模型的装备保障能力评估建模

摘要/Abstract

摘要： 提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型，给出了该模型形式化描述，引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念，更好地体现了面向对象的思想，具有很好的模块性、继承性、重用性和可维护性，能够反映复杂系统的动态柔性特点，最后给出实例。

关键词: 系统工程方法论 , 装备保障 , 能力评估 , 扩展的面向对象Petri网模型

Abstract: A new generalized object-oriented Petri net (GOOPN + + ) model which can be used to eval?uate the capability of equipment support was proposed. Its formal definition was given. The abstract place, abstract transition, message color and the message transferring function between objects were introduced in this model. This model has good modularity, inheritability, reusability, and maintain?ability, and can reflect flexibility and dynamic features of complex system. An example was given in the paper.

Key words: methodology of systematic engineering , equipment support , capability assessment , gener?alized object-oriented Petri nets model

中图分类号:

TP202

张涛，郭波，谭跃进，武小悦. 基于增强型扩展的，面向对象Petri网模型的装备保障能力评估建模[J]. 兵工学报, 2006, 27(2): 273-277.

ZHANG Tao, GUO Bo, TAN Yue-jin, WU Xiao-yue. GOOPN+ + Based Model for Capability Assessment of Equipment Support[J]. Acta Armamentarii, 2006, 27(2): 273-277.

参考文献

[1] Burdick G R, Fussell J B，Rasmuson D M，Wilson J R. Phased mission analysis ； a review of new developments and an application [J]. IEEE Trans Reliability, 1977，(26) ：43 - 49
[2] Somani A K. Simplified phased-mission system analysis for system witn independent component repairs[j]. International J Reliabili?ty, Quality and Safety Engineering, 1997, (4) : 167 - 189.
[3] Ma Y, Trivedi K S. An algorithm for reliability analysis of phased-mission systems[J] ? Reliability Engineering and System Safety, 1999，（66):157-170.
[4] Vauno J K. Fault tree analysis of pnased mission systems with re?pairable and non-repairable components [ J ]. Reliability Engineer?ing and System Safety, 2001, (74) ： 169 — 180.
[5] Vaurio J K. Making systems with mutually exclusive events ana- lyzable by standard fault tree analysis tools [ J ]. Reliability Engi-neering and System Safety, 2001，(74) ：75 - 80.
[6] Bryant R. Lrraph based algorithm for boolean function manipula- tion[j]. IEEE Trans Computers, 1986，8(35) :677 - 691.
[7] ZANG Xin-yu, SUN Hai-rong, Kisher S, Trivedi? A BDD-based algorithm for reliability analysis of phased-mission systems [ J ]. IEEE Trans of Reliability, 1999，3(48)-50-60.
[8] 范玉顺，吴澄，杨建华.FMS可靠性指标计算的有色广义随机 Petri网方法[J].计算技术与自动化，1997，16(4) :1-5，8. FAN Yu-shun, WU Cheng, YANG Jian-hua. The colored gener?alized stochastic Petri net method for calculation of FMS reliability [J ] . Computing Technology and Automation, 1997，l616(4):l — 5， 8. (in Chinese)
[9] Mura I, Bondavalli A, ZANG X，Trivedi K S. Dependability modelling and evaluation of phased mission systems ： a DSPN ap- proach[C]. Proc of 7th IFIP Int Conference on Dependable Comput?ing for Critical Applications. San Jose, CA, USA, 1999:319 - 337.
[10] 张涛，武小悦，谭跃迸.Petri网在可靠性分析中的应用[J].电子产品可靠性与环境实验，2003,(1):60-65.
ZHANG Tao, WU Xiao-yue, TAN Yue-jin. The application of Petn net in the system reliability analysis [ J ]. Electronic Product Reliability and Environmental Testing，2003，（I) : 60 — 65. (in Chinese)
[11] WANG L. An integrated oDject-oriented Petri net paradigm for manufacturing control systems[j] . Int Jour Computer Integrated Manufacturing, 1996, 9(1) ：73 — 87.
[12] 张涛，张凤林，武小悦，郭波.维修保障流程的通用仿真模型研究[J].系统仿真学报，2003，15(8) :1184-1187.
ZHANG Tao, ZHANG Feng-lin, WU Xiao-yue, GUOBo. Re?search on generalized simulation model for maintenance support process[J]. Journal of System Simulation, 2003, 15(8) ： 1184 -1187. (in Chinese)
[13] 张涛，张凤林，谭跃进.流程仿真的多层次PERT-Petri网模型[J].系统工程与电子技术，2004,26(1)： 48-51.
ZHANG Tao, ZHANG Feng-lin, TAN Yue-jin. Multi-level PisRT-Petri net model for process simulation [j」.Systems engi?neering and Electronics, 2004，26(1) ： 48 — 51. (in Chinese)
[14] Hong Jangeui, Bae Doo-Hwan. Software modeling and analysis using a hierarchical object-oriented Petri net[J]. Information Sci?ences, 2000,130：133 ~164.
[15] 武小悦，沙基昌.几种典型系统可靠性分析的GOOPN模型 [J].系统工程，1999，17(4) :73-77.
WU Xiao-yue, SHA Ji-chang. GOOPN model for reliability analysis of several typical systems [ J ]. System Engineering, 1999,17(4):73-77. (in Chinese)
[16] 武小悦，沙基昌?柔性制造系统可靠性分析的GOOPN模型 [J].计算机集成制造系統,2000，6(2) :65-69.
WU Xiao-yue, SHA Ji-chang. GOOPN model for reliability analysis of flexible manufacturing system [J ] ? CIMS, 2000, 6
(2) ：65-69. (in Chinese)
[17] .武小悦，张维明，沙基昌.通信网络可靠性分析的GOOPN 模型[J].系统工程与电子技术,2000，22(3) :84 - 86.
WU Xiao-yue, ZHANG Wei-ming, SHA Ji-chang. Generalized object-oriented Petn net model for reliability analysis of commu?nication network [ J ]. Systems Engineering and Electronics, 2000,22(3):84-86. (in Chinese)