System simulation and verification method based on Petri net model

被引：1
|
作者：
机构：
[1] Ke, Wenjun
[2] Chen, Jing
[3] Jiang, Shan
来源：
| 1600年 / Chinese Institute of Electronics卷 / 39期
关键词：
Petri nets - Computer simulation languages - Command and control systems;
D O I：
10.3969/j.issn.1001-506X.2017.04.32
中图分类号：
学科分类号：
摘要：
With the development of system engineering, more requirements of system quality are put forward. First, focusing on the system modeling language (SysML) activity diagram a conversion from core elements of SysML to the main element of Petri net is proposed, then the launch module of the command and control system are modelled, it also transforms the activity diagram model to the Petri net model with this conversion and uses the Petri net model validation tool to simulate the conversion model, this is to guarantee the integrity of the system. © 2017, Editorial Office of Systems Engineering and Electronics. All right reserved.
引用
收藏
相关论文
共 50 条
  • [1] A Method for Soundness Verification of Workflow Model Based on Petri Net
    Wang Jianliang
    Xia Zhiwei
    Ding Yanan
    [J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 880 - 883
  • [2] Process knowledge verification method based on Petri net
    Wang Daliang
    Zhang De-zheng
    Gao Li-xin
    Liu Jian-ming
    Zhang Huan-sheng
    [J]. FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2007, : 173 - +
  • [3] A simulation modeling method based on Petri net
    Huang, Yu
    Hu, Xuanzheng
    Lv, Guangxian
    Yang, Renfan
    [J]. 2015 IEEE 2nd International Conference on Cyber Security and Cloud Computing (CSCloud), 2015, : 283 - 288
  • [4] Petri net based Verification of a Cooperative Work flow Model
    Annappa, B.
    Jiju, P.
    Chandrasekaran, K.
    Shet, K. C.
    [J]. NDT: 2009 FIRST INTERNATIONAL CONFERENCE ON NETWORKED DIGITAL TECHNOLOGIES, 2009, : 82 - 87
  • [5] A Fault Injection Simulation Method based on Petri net
    Liu, Haitao
    Lv, Guangxian
    Huang, Yu
    Jin, Peng
    Su, Xueyuan
    [J]. 2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 83 - 86
  • [6] HiPS : Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
    Harie, Yojiro
    Mitsui, Yuta
    Fujimori, Kouhei
    Batajoo, Amit
    Wasaki, Katsumi
    [J]. 2017 IEEE 6TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2017,
  • [7] THE LOTOS MODEL OF A FAULT PROTECTED SYSTEM AND ITS VERIFICATION USING A PETRI NET BASED APPROACH
    BARBEAU, M
    VONBOCHMANN, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 103 - 113
  • [8] Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation
    Razzaq, Misbah
    Ahmad, Jamil
    [J]. PLOS ONE, 2015, 10 (12):
  • [9] Modeling and verification of an intelligent tutoring system based on Petri net theory
    Wang, Yu-Ying
    Lai, Ah-Fur
    Shen, Rong-Kuan
    Yang, Cheng-Ying
    Shen, Victor R. L.
    Chu, Ya-Hsuan
    [J]. MATHEMATICAL BIOSCIENCES AND ENGINEERING, 2019, 16 (05) : 4947 - 4975
  • [10] Simulation model of maintenance support system's efficiency based on Petri-net
    Feng Huijuan
    Zhang Liu
    Qu Changzheng
    Zhang Hongmei
    [J]. ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL II, 2007, : 441 - 444
12345