期刊文献+

基于OPN和UML的导航装备维修建模方法研究 被引量:2

Modeling Method of Navigation Equipment Maintenance Support System Based on Object-oriented Petri Net and UML
下载PDF
导出
摘要 探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。 According to combine the advantages of UML and Petri net, a method of modeling System based on UML Model and Object-oriented Petri Net is discussed in this paper,and the dynamic characteristics of navigations equipment Maintenance Support System through Object- oriented Petri Net Model is firstly described, then is transformed into the state diagram and sequence diagram of UML Model to show the whole systemic structure and static property. Finally it is testified efficient and scientific in application of modeling navigations Equipment Maintenance Support System.
出处 《航空计算技术》 2010年第1期85-89,共5页 Aeronautical Computing Technique
基金 陕西省自然科学基金资助项目(SJ08F06)
关键词 PETRI网 UML 导航装备 建模 object- oriented petri net UML navigation equipment simulation
  • 相关文献

参考文献3

二级参考文献12

  • 1江金龙,周献中,孙勇成.基于DEVS的UML建模方法:UML-BD[J].计算机工程,2005,31(16):21-23. 被引量:3
  • 2宋亚辉,胡红革,李在铭.一种混和Petri网结构分析方法[J].电子测量与仪器学报,2005,19(3):55-58. 被引量:2
  • 3Chang-Pin Lin,Yi-Pin Lin,Mu Der Jeng.Design of Intelligent Manufacturing Systems by Using UML and Petri Nets [C]// Proceedings of the 2004 IEEE International Conference on Networking,Sensing& Control,Taipei,Taiwan,2004:21-23.
  • 4MuDer Jeng,WeiZhao Lu.Extension of UML and Its Conversion to Petri Nets for Semiconductor Manufacturing Modeling [C]// Proceedings of the 2002 IEEE International Conference on Robotics& Automation,Washington.DC,2002:3175-3180.
  • 5J E Hong,D H Bae.Software Modeling and Analysis Using a Hierarchical Object-Oriented Petri Net [J].Information Sciences (S0020-0255),2000,130(1-4):133-64.
  • 6Kimon P Valavanis.On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing System with Extended Petri Nets [J].IEEE Transactions on System,Man and Cybernetics (S0018-9472),1990,20(1):94-110.
  • 7I.Suzuki,T.Murata.A method for stepwise Refinement and Abstract of Petri Net [J].Journal of Computer and System Science (S0022-0000),1983,(27):51-76.
  • 8T Agerwala,Y Choed-Amphai.A synthesis rule for concurrent systems [C]// in Proc.15th Design Automation Conf.,Las Vegas,NV,June,1978,305-311.
  • 9钱彦岭,邱静,温熙森.确定系统级测试性参数的广义随机Petri网模型[J].系统工程与电子技术,2002,24(5):4-7. 被引量:18
  • 10刘鸿,吴建平.协议分布式测试系统的性能模型[J].高技术通讯,2003,13(8):1-7. 被引量:2

共引文献21

同被引文献8

引证文献2

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部