防空导弹C^3I系统谓词/变迁赋色Petri网建模与仿真  

Modeling and Simulation of Anti-Air Missile C\+3I System Based on Predicate/Transition Colored Petri Net

作　　者：龙光正[1] 

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

出　　处：《系统工程与电子技术》2002年第12期47-48,52,共3页Systems Engineering and Electronics

摘　　要：介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋色Petri网基础上 ,建立了基于谓词 /变迁的赋色Petri网模型 ,给出了具体的前置谓词公式。最后对仿真流程进行了描述 ,对战术级指挥控制过程的评估研究有极其重要的意义。The concept of Petri net and the Petri net marking transition equation is preserved. A concrete analysis is given to air defense procedure of anti air missile C\+3I System. Combined predicate/transition Petri net and colored petri, a colored Petri net based predicate/transition is put forward, in which prepositive predicate formula is presented. A description of procedure of simulation is given at the same time. The study is very important for evaluation of tactical command and control.

关 键 词：防空导弹 C^3I系统 谓词/变迁 赋色PETRI网 建模 仿真 指挥自动化 

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