Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which we believe is effective. Their core consists of: (1) the "colour" of CPN(Colored Petri Net) is expressed by prime number in this technique; (2) the definitions for the potential problems in the rule base are given according to the number of "tokens" in each "place" while CPN model is executing; (3) the rule base of the mission manager for an autonomous UAV (Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2, and their analysis, show preliminarily that our approach is indeed effective.%针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集,提出采用将“颜色”表达为质数形式的改进的有色Petri网方法对规则集进行建模研究,并依据改进的有色Petri网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则.采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证,结果表明了该验证方法的有效性.
展开▼
