一种基于Petri网的全覆盖想定生成算法

想定是作战仿真系统的重要组成部分,是复杂作战序列仿真运行的初始态势,是获取可信仿真分析结果的前提。在全覆盖想定概念的基础上,提出一种力图遍历所有可能作战事件和事件序列的全覆盖初始标识(想定)的生成算法。应用Petri网的网结构理论,通过对视为被仿真系统可能想定的Petri网初始标识与该标识下的网事件进程行为的输入/输出分析,并以实例进行验证。实例结果表明:该算法操作性强,能很容易获取系统的全覆盖想定。