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