预警卫星系统作战体系结构建模与验证

依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战事件跟踪(OV-6c)模型和作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。