Early warning satellite system is on the front edge of ballistic missile defense system, and played an indispensable role in wars. Operational state transition description view(OV-6b)models are established to describe the operational sequence in time of early warning satellite system,state transition and information relation of the operational points based on DoDAF and operational process. Petri net is used to change the OV-6b models to executable models,and the reachability graphs of the petri-net models are established and analyzed,the correctness of the OV-6b models and the Petri net models is showed by the result.%预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。
展开▼