The Research And Realization Of Main Resources Scheduling Model In The Airport Based On Petri Net

During the last few years, the Civil Aviation Industry of China has a great development. However, the phenomenon of flights delay in some big airports is more and more serious. To solve that problem, effective measures of supervision and management must be put out. At the same time, to analyze the airport resources scheduling process, the usage information of airline flight time resources and support capability of airport scientifically is also very important.Petri Net has many advanced forms, for example Colored Petri Net, Timed Petri Net, etc. The Petri Net whose analytical approaches and tools are established has an enriched theory. Therefore, it is very suitable to handling the real time processing of many concurrent events in the complex system of airport main resources scheduling model. To solve the problem of main resources(such as the runways, gate positions,etc.) scheduling and management in the airports, in this paper many advanced Petri Nets are used to construct models on a simulating and analyzing tool of Petri Net named CPN Tools. Based on those models, some in depth study is curried out.First, a Colored-Timed Petri Net model is build to simulate turnaround flights using the main resources in the airport. We are focused on analyzing and evaluating system qualities in many different ways, so different monitors are used to collect data during simulation. At last, we analyze those data, the simulation reports and the state space reports produced automatically by CPN Tools. In those ways, the conclusions about the usage of airport main resources are obtained. Moreover, we find that runways are the key resources of the modeled airport, and then we find two ways to improve the support capability of airport.After some further study of those Petri Net theory, a modeling method named Hierarchical Colored Timed Controlled Petri(HCTC_Petri) Net is proposed in this paper. It is one kind of Hybrid Petri Nets, which combines Hierarchical Petri Net,Colored Petri Net, Timed Petri Net and Controlled Petri Net. We use HCTC_Petri Net to solve the problem of main resources scheduling in those multi_runway airports. Weapply some rational controlling strategy to the proposed model to change the parameters dynamically and to ease its instability. Finally, the correctness and stability of the proposed model is proved. Moreover, we predict how airport finishes its scheduling work with ten new flight schedules, and find that the increasing sum of the delayed time when flights arrive at airport during peak period in a day world greatly increase the sum of the delayed time when they departed.