Abstract
A powerful method for the modeling of the task processing of antiaircraft tactic command and control systems (AATCCS) via a stochastic Petri net (SPN) tool is proposed and discussed. The principle of the analysis of task processing capacity for a discrete event system based on SPN model is established. The task processing model of a generic typical antiaircraft tactic C2 system with two-level command centers is built, and the procedure for the analysis of the maximum information processing capacity of the systems is developed. The method and results show their promise in their applications to real C2 system design. (Author)