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

发布时间：2019-05-29 00:53

【摘要】：随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。
[Abstract]:With the development of system engineering, the quality of the system has been put forward higher requirements. Firstly, focusing on the activity diagram model of system modeling language, a mechanism of automatically converting the activity diagram model into Petri net model is proposed, and then the launch module of a command and control system is modeled. Through the transformation mechanism, the activity graph model is transformed into Petri net model, and then the Petri net verification tool is used to simulate and verify the model, which ensures the correctness of the command information system.
【作者单位】： 北京计算机技术及应用研究所;浙江大学软件学院;
【基金】：国防基础科研计划(JCKY2016603C008)资助课题
【分类号】：TP301.1;N945.13

【相似文献】

相关期刊论文 前10条

1 马德云,俞时权,胡浩民;求解哲学家就餐问题的两个Petri网模型[J];上海师范大学学报(自然科学版);2002年03期

2 刘志勤;基于Petri网模型的航空兵仿真研究[J];陕西师范大学学报(自然科学版);2005年S1期

3 秦奋涛;一种资源分配方案及其Petri网模型[J];河北北方学院学报(自然科学版);2005年01期

4 秦奋涛;赵喜清;张艳慧;南景宇;;工程问题的Petri网模型及其分析[J];数学的实践与认识;2007年16期

5 王和勇;;Petri网模型在MIS系统中的应用[J];中山大学研究生学刊(自然科学版);2001年01期

6 岳昊;李文杰;;自动制造系统Petri网模型中的非完美变迁[J];井冈山大学学报(自然科学版);2010年06期

7 王晓媛;左风朝;;基本数据链路层协议的Petri网模型分析与优化[J];中国科技信息;2005年23期

8 张力;赵宗涛;慕晓冬;邵军勇;;一种分析作战指控并发信息流的Petri网模型[J];西北大学学报(自然科学版);2006年01期

9 凌晖,熊德华,杨杰,叶剑平;天车与冶炼炉作业调度的Petri网模型[J];数学的实践与认识;1996年01期

10 岳昊;李文杰;;自动制造系统Petri网模型中的分叉操作库所[J];吉林师范大学学报(自然科学版);2010年04期

相关会议论文 前3条

1 陈浩勋;李惠峰;孙国基;;一类混杂系统的Petri网模型[A];1997年中国控制会议论文集[C];1997年

2 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

3 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年

相关硕士学位论文 前10条

1 陈丽娜;数据约束下的业务流程Petri网模型的变化域分析与控制[D];安徽理工大学;2016年

2 吕书强;基于Petri网模型的混杂电力系统紧急控制[D];北京工业大学;2001年

3 陈超;基于Petri网模型的研发管理系统设计与实现[D];大连理工大学;2009年

4 高方方;基于着色Petri网模型的案例推理研究[D];合肥工业大学;2008年

5 周艳军;模糊神经Petri网模型优化及应用[D];天津科技大学;2014年

6 杨艳;基于行为模式的Petri网模型变化区域的研究[D];安徽理工大学;2014年

7 冯晓宁;水下无人探测器系统性能的面向对象Petri网模型[D];哈尔滨工程大学;2005年

8 胡核算;基于MIP算法的系统Petri网模型中的死锁预防[D];西安电子科技大学;2005年

9 李宏慧;基于着色Petri网模型的OSPF协议验证[D];内蒙古大学;2003年

10 欧阳虹;基于Petri网模型合并的可配置业务流程变化域分析[D];安徽理工大学;2015年

，

本文编号：2487511