Abstract

The exponential growth in air traffic and unplanned events on the day of flight schedules such as adverse weather conditions led to initial flight disruptions. In this paper, we propose a decision support framework for flight rescheduling in air traffic management based on ground delay, changing the initial flight and flight canceling. This approach is based on using Time Petri Nets (TPN) to model air traffic networks. We introduce a Binary Decision Diagram based tool to represent the state space of a class of Time Petri Nets. This tool, called Time Reduced Ordered Binary Decision Diagram (T-ROBDD) is able to represent a large state space of a TPN with a small data structure and enable the efficient manipulation of this set. In what follows, we developed a technique to generate all the rescheduling flights plans taking into account the temporal and spatial constraints.