基于高级Petri网的仿真剧情正规校核方法
来源期刊：控制与决策2006年第11期
论文作者：刘飞 杨明 王子才
文章页码：1208 - 1213
关键词：仿真剧情;高级Petri网;正规校核;工具框架;
摘 要：针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义,并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径,并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架.实际应用已经证明了该方法的有效性.
刘飞，杨明，王子才
摘 要：针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义,并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径,并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架.实际应用已经证明了该方法的有效性.
关键词：仿真剧情;高级Petri网;正规校核;工具框架;
