According to the description of library/transition decision system inference from decision-making organizations at brigade and battalion levels, a Petri net model of air defense decision system is established.

• 对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型。