收藏本站
《系统工程与电子技术》 2017年04期
加入收藏 投稿

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

柯文俊  陈静  江山  
【摘要】:随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。
【作者单位】北京计算机技术及应用研究所;浙江大学软件学院;
【关键词】系统建模语言活动图 模型转换 仿真验证 Petri
【基金】:国防基础科研计划(JCKY2016603C008)资助课题
【分类号】:TP301.1;N945.13
【正文快照】:
0引言 长期以来,在系统工程工程领域一直缺乏统一的系统描述形式[1]。在系统建模语言(system modeling language,SysML)推出之前,系统领域工程师采用的系统级建模语言的种类很多,使用的标准也是错综复杂,例如统一建模语言(unified modeling language,UML)、行为图等。虽然数

【相似文献】
中国期刊全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026