Modeling of the pilot operation procedure may not only assist the intelligent cockpit designers to make coordination design to each module function applying top-down method, but also can be used to monitor the pilot's behavior and systems' status. The problem of traditional modeling method is analyzed, on which basis, a modeling method based on hierarchical timed Petri net is proposed. The model of air combat procedure under maneuvering flight is simulated in ExSpect environment, and the time response of the model is analyzed. The deficiency of the model is also discussed with the research direction of future.