基于高级Petri网的仿真剧情正规校核方法

9针对仿真剧情主观校核不理想这一问题D提出了基于高级NOPQR网的仿真剧情正规校核方法&首先给出仿真 剧情的形式化定义D并分析仿真剧情可能存在的错误类型>其次给出仿真剧情到高级NOPQR网的映射途径D并给出基 于高级NOPQR网的仿真剧情校核准则和算法D此外D还给出实现仿真剧情动态校核的推理规则和机制>最后给出了一 个正规校核工具框架&实际应用已经证明了该方法的有效性&