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