Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

Abstract

In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach based on timed and coloured Petri net is presented. According to the layout of the airport surface and the features of surface operation units, a static Petri net model of the airport surface is established. On this basis, in line with the requirements on the aircraft taxiing velocity in ICAO DOC 9830, the dynamic Petri net model of the airport surface operation is established by adding the time attribute to the static model. Additionally, the method of defining the capacity of airport operation unit place is proposed and the constraints of the airport surface operation are incorporated using Petri net elements. Unlike other papers in the field, the airport surface Petri net model established in this paper can simulate conflict-free taxiing using a Petri net simulator without relying on other model-independent algorithms. Based on the CPN Tools software, taking Toulouse Airport as an example, the validity of the model has been verified by comparing the model running data with real flight data.

Simulation of apron taxiway layout pattern in the new terminal area of Nanning airport

“…The apron on both sides of the apron can only serve one aircraft due to the taxiway. [3][4][5][6][7][8][9][10][11][12] The advantage is that the taxiing distance for inbound and outbound flights is shorter, but there are more ramp conflicts and delays.…”

“…Therefore, it is important to study whether the layout of the apron taxiway is reasonable to help improve the efficiency of aircraft operation at the airport, and also to guide the airport planning and construction and operation management. [1][2][3][4][5][6][7][8][9] At present, there are few studies on the apron taxiway in China, and most of the apron taxiway setting schemes in airports are still only dependent on the experience of designers, and there is a lack of systematic and theoretical research on this aspect, among which Wu Haoning 2 used simulation software to determine the design layout pattern in the study of apron layout pattern in Beijing Daxing International Airport. This paper will analyse and compare different apron taxiway layout patterns, and take the new terminal area of Nanning Airport as an example to compare and select different design solutions for the apron taxiway of the new terminal area of Nanning Airport using Simmod software to provide ways and means for the selection of apron taxiway operation patterns for complex terminal building configurations in large airports in the future.…”

A Priority-Based Conflict Resolution Strategy for Airport Surface Traffic Considering Suboptimal Alternative Paths

“…For the detection of aircraft intersection conflict, Zhu [17] et al proposed an Extended Hybrid Petri-nets (EHP) to model the airport surface operation. Su and Qiu [18] established a dynamic Petri net model by adding the time attribute to the static model and simulated conflict-free taxiing. Hang and Jiang [19] planned the taxiing routes according to conflict detection and searched the shortest routes of static network with improved A* algorithm.…”

“…The conflict resolution strategy was as follows: first, we compared the priority number of two aircraft according to table 5 and we knew that the priority of aircraft 18 was lower. Then, we compared 18 10 / 18 with 18 10 and got 18 10 / 18 < 18 10 . Therefore, aircraft 18 chose a suboptimal alternative taxiing path 12-13-11-10-37 at node 12 before node 10 in advance.…”

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

“…Petri Nets, like SDL does not need the addition of any extension, hence a model defined in a Petri Net is complete and can be fully codified. Petri Nets become an excellent alternative to represent simulation models and to analyze the correctness of executing a task or representing its behavior, in multiple areas, like in robotics and microcontrollers [20,21], to study biological and social systems [22][23][24] or infrastructures and logistics analysis [25][26][27] among other multiple scopes, hence several works exist to transform to Petri Nets models represented in other languages, like BPMN or Flowcharts, see [28][29][30] as an example.…”