基于Petri网模型的系统仿真验证方法  

System simulation and verification method based on Petri net model

作　　者：柯文俊[1] 陈静[1] 江山[2] 

机构地区：[1]北京计算机技术及应用研究所,北京100854 [2]浙江大学软件学院,浙江宁波315103

出　　处：《系统工程与电子技术》2017年第4期924-930,共7页Systems Engineering and Electronics

基　　金：国防基础科研计划(JCKY2016603C008)资助课题

摘　　要：随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。With the development of system engineering, more requirements of system quality are put for ward. First, focusing on the system modeling language （SysML） activity diagram a conversion from core ele ments of SysML to the main element of Petri net is proposed, then the launch module of the command and con trol system are modelled, it also transforms the activity diagram model to the Petri net model with this conver sion and uses the Petri net model validation tool to simulate the conversion model, this is to guarantee the integ rity of the system.

关 键 词：系统建模语言活动图 模型转换 仿真验证 PETRI 

分 类 号：TP278[自动化与计算机技术—检测技术与自动化装置]