基于扩展Petri网的防空C^4ISRK系统建模分析  

Modeling of Anti-Air C^4ISRK System based on Extendable Petri Net

作　　者：张庆波[1] 闫永玲[1] 辛永平[1] 

机构地区：[1]空军工程大学导弹学院,陕西三原713800

出　　处：《火力与指挥控制》2010年第2期75-77,共3页Fire Control & Command Control

基　　金：国防科技重点实验室基金资助项目(2006F18)

摘　　要：针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。Focused on the fire assignment in Anti--Air Missile system, the air defence C^4ISRK System at tactical level is modeled with Petri Net. Extendability of the method is proposed in the thesis,through combined predicate peteri net and colored petri, the improved model of fire assignment at brigades level is put forward, in which prepositive predicate formula is presented. As a result, the thinking to analyze effectively the rightness of tactical decision on fire assignment is provided.

关 键 词：防空C4ISRK 火力分配 赋色PETRI网 谓词Petri网 系统建模 

分 类 号：E07[军事—军事理论]