Method of analyzing requirements of weapon equipment architecture based on UML and Petri net

被引：0
|
作者：
Naval Aeronautical Engineering Academy, Yantai 264001, China [1 ]
不详 [2 ]
机构：
来源：
Xitong Gongcheng Lilum yu Shijian | 2006年 / 1卷 / 136-140期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] A simulation modeling method based on Petri net
    Huang, Yu
    Hu, Xuanzheng
    Lv, Guangxian
    Yang, Renfan
    2015 IEEE 2nd International Conference on Cyber Security and Cloud Computing (CSCloud), 2015, : 283 - 288
  • [22] A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net
    Dong, Shaoran
    Li, Zengzhi
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 47 - 50
  • [23] Software Architecture Modeling and Reliability Evaluation Based on Petri Net
    Zhang, Chi
    Ma, Yunyun
    Wang, Xiaohua
    Wang, Ruixue
    2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 51 - 56
  • [24] A PETRI NET BASED APPROACH FOR ANALYZING TOOL MANAGEMENT ISSUES IN FMS
    REDDY, CE
    CHETTY, OVK
    CHAUDHURI, D
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1992, 30 (06) : 1427 - 1446
  • [25] A Robot Architecture Validating Method with Agent Oriented Hierarchical Petri Net
    Zhang Qiqian
    Zhou Guomin
    Si Jin
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2481 - 2485
  • [26] A Petri-net-Based model of equipment virtual maintenance process
    Liu, YL
    Xu, ZC
    FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY AND ITS APPLICATIONS IN INDUSTRY, 2004, 5444 : 527 - 530
  • [27] Workflow model of equipment maintenance support based on Petri-net
    Chen Le
    Feng Hui-juan
    Yu Yong-li
    Zhang Liu
    Nie Cheng-long
    2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 931 - 934
  • [28] Process Design of a Capability-based Weapon Equipment Requirements Analysis System
    Jia, Zhen
    Ding, Lushun
    Zhou, Yufang
    2018 FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE DEFINED SYSTEMS (SDS), 2018, : 74 - 79
  • [29] Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification
    Khan, Sher Afzal
    Iqbal, Rao Sohail
    Zafar, Nazir Ahmad
    Ahmad, Farooq
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2012, VOL I, 2012, : 84 - 88
  • [30] Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net
    Wei, ShangGuan
    Jian, Wang
    Yan, Wang
    Gou Chen-xi
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 3, PROCEEDINGS, 2009, : 488 - 491
12345