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

Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (2): 407-410.

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

郭伟民, 赵新国, 李强

装备指挥技术学院试验指挥系, 北京, 101416

收稿日期:2007-09-13 修回日期:2008-01-16 出版日期:2009-02-20 发布日期:2010-01-03
作者简介:郭伟民(1979- ),男,博士研究生,主要研究方向为指挥自动化系统体系结构,作战指挥可视化.E-mail:guoweimin0@163.com
基金资助:
国防“十一五”项目基金资助课题(513300202)

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

GUO Wei-min, ZHAO Xin-guo, LI Qiang

Dept. of Test Commanding, Academy of Equipment Command & Technology, Beijing 101416, China

Received:2007-09-13 Revised:2008-01-16 Online:2009-02-20 Published:2010-01-03

摘要/Abstract

摘要： 针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型.该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件.最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁.此结果证明了模型的正确性.

Abstract: In view of the complexity of conventional missile operations supported by satellite military systems,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 determined.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.

中图分类号:

E81
TP391.9

郭伟民, 赵新国, 李强. 卫星军事应用系统支援常规导弹作战Petri网建模[J]. Journal of Systems Engineering and Electronics, 2009, 31(2): 407-410.

GUO Wei-min, ZHAO Xin-guo, LI Qiang. Modeling of conventional missile operation supported by satellite military systems with Petri net[J]. Journal of Systems Engineering and Electronics, 2009, 31(2): 407-410.