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.
The Manual – Airport CMD Implementation. Brussels: Eurocontrol; 2017. Available from: https://www.eurocontrol.int/sites/default/files/publication/files/airport-cdm-manual-2017.PDF
Tang M, Tang X, Zhou L, et al. Research on Airport Airside Operation Simulation Based on Multi-Agent. Aeronautical Computing Technique. 2015;45(4): 51-56.
Nakamura S, Furuta K, Kanno T. Multi-agent simulation of ground aircraft operations at a large airport. In: International ICST Conference on Simulation TOOLS and Techniques; 2010.
Ribeiro VF, Li W, Milea V, et al. Collaborative Decision Making in Departure Sequencing with an Adapted Rubinstein Protocol. IEEE Transactions on Systems Man & Cybernetics Systems. 2016;46(2): 248-259.
Ravizza S, Atkin JAD, Burke EK. A more realistic approach for airport ground movement optimisation with stand holding. Journal of Scheduling. 2014;17(5): 507-520.
Simmod Manual – How Simmod Works. US: Federal Aviation Administration. Available from: http://www.tc.faa.gov/acb300/how_simmod_works.pdf [Accessed 27 October 2018].
Wu Z. Introduction to Petri net. Beijing, China: China Machine Press; 2006.
Yuan C. Petri Net Principle. Beijing, China: Publishing House of Electronics Industry; 1998.
Tang X, Zhu X. Petri net theory and its application in civil aviation transportation engineering. Beijing, China: China Civil Aviation Publishing House; 2014.
Werther B. Colored Petri Net Based Modeling of Airport Control Processes. In: Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, 28 Nov – 1 Dec 2006, Sydney , Australia. IEEE; 2006. p.108-108.
Davidrajuh R, Lin B. Exploring airport traffic capability using Petri net based model. Expert Systems with Applications. 2011;38(9): 10923-10931.
Skorupski J. Airport traffic simulation using Petri nets. Communications in Computer & Information Science. 2013;395: 468-475.
Kovacs A, Nemeth E, Hangos KM. Modeling and optimization of runway traffic flow using coloured Petri nets. In: International Conference on Control and Automation, 26-29 June 2005, Budapest, Hungary. Vol. 2. IEEE; 2005. p. 881-886.
Shortle JF, Xie R, Chen C, et al. Simulating collision probabilities of landing airplanes at Nontowered airports. Simulation Journal of the Society for Computer Simulation. 2004;80(1): 21-31.
Dezani H, Gomes L, Damiani F, et al. Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. In: IECON 2012 – Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 25-28 Oct. 2012, Piscataway, N.J., USA. IEEE; 2012. p. 3043-3048.
Dezani H, Marranghello N, Damiani F. Genetic algorithm-based traffic lights timing optimization and routes definition using Petri net model of urban traffic flow. IFAC Proceedings Volumes. 2014;47(3): 11326-11331.
Dezani H, Bassi RDS, Marranghello N, et al. Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. Neurocomputing. 2014;124(2): 162-167.
Huang S, Sun T, Lv B. Petri net simulation arithmetic of the shortest directional path in transportation net. Journal of Nanjing University of Aeronautics & Astronautics. 2002;34(2): 121-125.
Wang C, Tang X, An H. Research on the optimization of aircraft dynamic routes planning for A-SMGCS. Journal of Wuhan University of Technology (Transportation Science & Engineering). 2012;36(5): 1069-1073.
Tang X, Wang Y, Han S. Aircraft dynamic taxiway routes planning for A-SMGCS based on DEDS. Systems Engineering and Electronics. 2010;32(12): 2669-2675.
Zhu X, Tang X, Han S. Conflict prediction and avoidance control for A-SMGCS taxiway. Journal of Nanjing University of Aeronautics & Astronautics. 2011;43(4): 504-510.
Zhu X, Tang X, Han S. Avoidance strategy for head-on conflict on taxiway based on supervisory control theory of DES. Journal of Southwest Jiaotong University. 2011;46(4): 664-670.
Zhu X, Tang X, Han S. Aircraft initial taxiing route planning based on Petri net and Genetic Algorithm. Journal of Southwest Jiaotong University. 2013;48(3): 565-573.
Jensen K, Kristensen LM, Wells L. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer. 2007;9(3-4): 213-254.
ICAO Doc9830. Advanced Surface Movement Guidance and Control Systems (A-SMGCS) Manual. Montreal: ICAO; 2004.