10.3969/j.issn.1001-506X.2017.04.32
基于Petri网模型的系统仿真验证方法
随着系统工程的发展,对系统的质量提出了更高的要求.首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性.
系统建模语言活动图、模型转换、仿真验证、Petri
39
TP278(自动化技术及设备)
国防基础科研计划JCKY2016603C008资助课题
2017-05-16（万方平台首次上网日期，不代表论文的发表时间）
共7页
924-930
