论文部分内容阅读
介绍了Perti网概念及其标识转移方程的完整动态描述.对复杂的防空导弹C3I空防对抗过程进行了具体分析,描述了某型防空导弹的具体作战过程,在有机结合谓词公司Petri网和赋色Petri网基础上,建立了基于谓词/变迁的赋色Petri网模型,给出了具体的前置谓词公式.最后对仿真流程进行了描述,对战术级指挥控制过程的评估研究有极其重要的意义.