系统工程与电子技术
• 软件、算法与仿真 • 上一篇 下一篇
柯文俊1, 陈静1, 江山2
出版日期:
发布日期:
KE Wenjun1, CHEN Jing1, JIANG Shan2
Online:
Published:
摘要：
随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。
Abstract:
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.
柯文俊, 陈静, 江山. 基于Petri网模型的系统仿真验证方法[J]. 系统工程与电子技术, doi: 10.3969/j.issn.1001-506X.2017.04.32.
KE Wenjun, CHEN Jing, JIANG Shan. System simulation and verification method based on Petri net model[J]. Systems Engineering and Electronics, doi: 10.3969/j.issn.1001-506X.2017.04.32.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.sys-ele.com/CN/10.3969/j.issn.1001-506X.2017.04.32
https://www.sys-ele.com/CN/Y2017/V39/I4/924
