摘要
介绍了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.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2002年第12期47-48,52,共3页
Systems Engineering and Electronics
