互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于Petri网的概念模型验证方法研究


摘 要:针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。
  关键词: Petri 网; 概念模型验证; CPN Tools; 防空导弹作战过程
  中图分类号:TP391.9 文献标志码:A
  文章编号:1001-3695(2010)03-0999-03
  doi:10.3969/j.issn.1001-3695.2010.03.052
  
  Study of conceptional model validation method based on Petri net
  
  FAN Hao, HUANG Shu-cai
  
  (Missile Institute AFEU, Sanyuan Shaanxi 713800, China)
  
  Abstract:It is difficult to validate the dynamic part of conceptual model by subjective detection in view of its complexity. This paper put forward a new method to validate conceptual model with Petri net. It studied the concrete approaches carrying on the conceptual model validation, analysed the faults of Petri net correlatived with conceptual model and the validated properties of Petri net when detecting these faults. Lastly, as the air defense missile operation process an example, it researched that how to validate the dynamic part of conceptional model with the Petri net and CPN Tools. The practice proves the method’s availability in aspect of reducing the subjective impacts of validating the concetual model directively and improving the efficiency of the validation. ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017