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