CAJ | 학술논문

预警卫星系统在弹道导弹防御系统中处在最前沿，在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程，构建了预警卫星系统作战状态转换（OV-6b）模型，以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动，并构建和分析了各Petri网模型的可达图，结果表明，建立的OV-6b模型和Petri网模型是合理的、正确的。
예경위성계통재탄도도탄방어계통중처재최전연，재전쟁중기착기타장비무법체대적작용。의거DoDAF화예경위성계통적작전류정，구건료예경위성계통작전상태전환（OV-6b）모형，이묘술예경위성계통작전과정적시서관계、각작전절점적상태전환이급신식류관계。기우Petri망장각절점OV-6b모형전환성가집행모형진행구동，병구건화분석료각Petri망모형적가체도，결과표명，건립적OV-6b모형화Petri망모형시합리적、정학적。
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.