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

Study of conceptional model validation method based on Petri net

作　　者：樊浩[1] 黄树彩[1] 

机构地区：[1]空军工程大学导弹学院,陕西三原713800

出　　处：《计算机应用研究》2010年第3期999-1001,1005,共4页Application Research of Computers

摘　　要：针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。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 arid 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.

关 键 词：PETRI网 概念模型验证 CPN TOOLS 防空导弹作战过程 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]