卫星军事应用系统支援常规导弹作战Petri网建模  

Modeling of conventional missile operation supported by satellite military systems with Petri net

作　　者：郭伟民[1] 赵新国[1] 李强[1] 

机构地区：[1]装备指挥技术学院试验指挥系,北京101416

出　　处：《系统工程与电子技术》2009年第2期407-410,共4页Systems Engineering and Electronics

基　　金：国防"十一五"项目基金资助课题(513300202)

摘　　要：针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型。该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件。最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁。此结果证明了模型的正确性。In view of the complexity of conventional missile operations supported by satellite military sys- tems, the Petri net model of the supported operation is made. Based on the characteristics of Petri net such as synchronization, subsequence and conflicts, the supported operation is analyzed, the events and conditions in the course of operations are summarized, the ante-conditions and post-conditions for each transition are deter- mined. Finally, the model is proven to be correct by what the supported operation is all right, and there doesn＇t exist the halted phenomenon in the Petri net.

关 键 词：卫星军事应用系统 常规导弹 PETRI网 建模 

分 类 号：E81[军事—战略学] TP391.9[自动化与计算机技术—计算机应用技术]