Air Traffic Management Using Petri Net Synthesis Tools

An air traffic system can be considered as a timed discrete events system. Based on the initial flight plan, a synthesis method is used to manage the air traffic. By minimizing a cost function an optimal flight plan is generat ed which guarantees the respect of specifications in terms of space temporal constraints engendered by adverse weather. The used approach is based on a Timed Petri Net model followed by a Time Reachability Graph analyses