Abstract:

In order that a time speciality of the missile arm’s maneuvering combat process can fully be embodied while establishing  its model of Petri net, a new discrete time span Petri net (DTSPN) is defined. Each maneuvering task must be carried out  in a series of time span on the basis of fully considering the influence of enemy’s reconnaissance menaces on army’s maneuvering combat tasks, then the model is established based on DTSPN. By analyzing the reachability of the model, it  can be judged that whether combat tasks is completed on time. Experiment results indicate that the DTSPN model can  exhibit the time speciality of the missile army’s maneuvering combat process well, and it can also be used to analyze  whether a combat task will be completed or not when its implementing time is restricted in a series of time span.