文件名称：基于高级Petri网的仿真剧情正规校核方法 (2006年)
文件大小：1.14MB
文件格式：PDF
更新时间：2024-06-06 10:01:29
自然科学 论文
针对仿真剧情主观校核不理想这一问题，提出了基于高级Petri网的仿真剧情正规校核方法。首先给出仿真剧情的形式化定义，并分析仿真剧情可能存在的错误类型；其次给出仿真剧情到高级Petri网的映射途径，并给出基于高级Petri网的仿真剧情校核准则和算法，此外，还给出实现仿真剧情动态校核的推理规则和机制；最后给出了一个正规校核工具框架。实际应用已经证明了该方法的有效性。