Simulation of Air traffic control system using Petri nets

An air traffic control system is a system that aims to prevent collisions between aircraft or obstacles during the flight process and to create a suitable and efficient platform for the smooth movement of air traffic and provide the necessary information to maintain flight safety. Delays in flights, if due to the operation of the air traffic control unit, can sometimes cause problems at the airport, and this will naturally affect the landing and take-off times of other aircraft, and more passengers will be in trouble. Given the important application of this system, its simulation is essential. Simulating a traditional, manual air traffic control system is usually a time-consuming process and requires a system to be explored over a long period of time, which is costly. In this paper, we simulate the air traffic control system during the two processes of landing and take-off of the aircraft in the airspace of the airport, using the Stochastic Reward Net, then using that simulation. We implemented the system in the case of increasing the flight plan and compared. The results show that the values obtained from the model are well consistent with the average values obtained from the studied airport (Mehrabad).