Modeling Method of Flight Operation Information Flow Based on TIMED PETRI NET

Time performance is an important indicator of flight operation program design and evaluation, which affects the time urgency and workload of pilots to perform tasks. The modeling method of flight operation information flow based on the timed Petri net is proposed, and the upper and lower bounds of time constraints for different flight operation types such as serial operation, parallel operation and selection operation are defined. A static time performance analysis method based on network structure characteristics is proposed, and a dynamic time performance analysis method affected by pilot behavior is proposed. Combined with the rejected take-off operation procedure of a certain aircraft, an example of information flow modeling and time performance analysis based on the timed Petri net is given, which demonstrates the feasibility and effectiveness of the method.