论文部分内容阅读
预警卫星系统在弹道导弹防御系统中处在最前沿，在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程，构建了预警卫星系统作战状态转换（OV-6b）模型，以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动，并构建和分析了各Petri网模型的可达图，结果表明，建立的OV-6b模型和Petri网模型是合理的、正确的。