关键词: Petri 网; 概念模型验证; CPN Tools; 防空导弹作战过程
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. ......