Abstract
This paper discusses how to use object-oriented technology and Petri nets for the modeling of military maneuver theory. Most military theories involve both concurrent processing units and discrete event systems. These can be best modeled with Petri nets. The maneuver theory includes preemption, dislocation, and disruption. Among them, dislocation plays a central role. The authors use Petri nets to model the dislocation strategy and, further, the combined-arms theory, which is an extension of the dislocation theory. Each attacking, moving, and defending unit is modeled as an object whose operation is represented as a subnet. Simulation can also be done with the appropriate integration of these Petri net submodels.