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

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

Study of conceptional model validation method based on Petri net

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 th...