Modeling of ATC Operation Process based on Extended Colored Petri Net

doi:10.23940/ijpe.19.09.p26.25222533

Int J Performability Eng ›› 2019, Vol. 15 ›› Issue (9): 2522-2533.doi: 10.23940/ijpe.19.09.p26.25222533

Previous Articles Next Articles

Modeling of ATC Operation Process based on Extended Colored Petri Net

Jiuxia Guo^a,b,*, Shuzhi Sam Ge^a, Xinping Zhu^b, and Fangfang Zhao^a

^aSchool of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, 611731, China;
^bCollege of Air Traffic Management, Civil Aviation Flight University of China, Guanghan, 618307, China

Submitted on ; Revised on ; Accepted on
Contact: *. Jiuxia Guo received her M.S. degree in traffic information engineering and control from Civil Aviation University of China, in 2009. She is currently an associate professor in the Department of Air Traffic Management at the Civil Aviation Flight University of China. She is also pursuing a Ph.D. in the School of Computer Science and Engineering and Center for Robotics at the University of Electronic Science and Technology of China. Her research interests include complex system theory, resilience engineering, and machine learning. E-mail address: didiyes@163.com
About author:Shuzhi Sam Ge received his B.S. degree in automation control from Beijing University of Aeronautics and Astronautics, in 1986 and his Ph.D. in mechanical engineering and electrical engineering from the Imperial College London in 1993. He is the director of the Social Robotics Laboratory of Interactive Digital Media Institute in Singapore and the Centre for Robotics in Chengdu, China. He is a professor in the Department of Electrical and Computer Engineering at the National University of Singapore. He has co-authored four books and over 300 international journal and conference papers. His current research interests include social robotics, adaptive control, intelligent systems, and artificial intelligence. Xinping Zhu received his M.S. degree and Ph.D. in air transportation management from Nanjing University of Aeronautics and Astronautics in 2008 and 2013, respectively. He is currently an associate professor in the Department of Air Traffic Management at the Civil Aviation Flight University of China. His research interests include air traffic management concept evaluation, airport surface control, discrete event systems modeling and control, and PNs. His research has led to a number of papers in journals and international conference proceedings. Fangfang Zhao is a Ph.D. candidate in the School of Computer Science and Engineering and Center for Robotics at the University of Electronic Science and Technology of China. Her research interests include adaptive filter technology, information fusion, and autonomous navigation.

Abstract

Abstract: As a highly complex social and technological system, the air traffic management (ATM) system of next generation (NextGen) has many new technologies. With more and more changing roles of human beings (such as pilots and controllers) in the ATM system, new potential hazards may emerge. This paper proposes a new safety analysis method using coloured Petri nets (CPN), which alleviates the unsafe interactions between non-fault components. From the control operation point of view, there are some fixed aerodrome control operation units, which can be divided into two typical modules: Tower control position module and General control position module. According to the basic net model, we present a modelling method based on extended colored Petri net (ECPN) to simulate the air traffic control (ATC) operation process. The focus in this paper is on the constructs of the ATC operation process, including the development of a fine model and substitution rule. The model development is supported by a set of model constructs, which represent key aspects of the ATC operation process. The top-level network model of the ATC operation process using the cognitive work analysis (CWA) method is built. The approach is presented for the multi-runway airport control operation process and describes in detail the Petri net model of the tower control process. Finally, we simulate the tower control process by CPN Tools. The availability of the ATC operation control models are verified by generating the full state space and state space report.

Key words: air traffic management system, safety analysis, operation control modelling, cognitive work analysis, extended coloured Petri net, model simulation, state space

Jiuxia Guo, Shuzhi Sam Ge, Xinping Zhu, and Fangfang Zhao. Modeling of ATC Operation Process based on Extended Colored Petri Net [J]. Int J Performability Eng, 2019, 15(9): 2522-2533.

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

References

1. A. Cook, H. A. P.Blom, F. Lillo, R. N. Mantegna, S. Miccich, D. Rivas, et al., “Applying Complexity Science to Air Traffic Management,”Journal of Air Transport Management, Vol. 42, pp. 149-158, 2015
2. J. X. Guo, C. J. Pan,Y. Liao, “A Method for Unsafe Events Prediction of Air Traffic Management (ATM) based on GBO-Markov Model,” Journal of Safety and Environment, Vol. 16, No. 4, pp. 48-51, 2016
3. J. X. Guo, C. J. Pan,C. Q. Yang, “Renovated Hazard Identification Method in at ATC based on the Grey Relational Analysis,” Journal of Safety and Environment, Vol. 15, No. 6, pp. 157-161, 2015
4. E. J.Henley and H. Kumamoto, “Probabilistic Risk Assessment and Management for Engineers and Scientists,” 2nd Edition, IEEE Press, 1996
5. W. Zheng, “Modeling and Hazard Analysis of Railway Station Protection System based on Stochastic Petri Nets,” inProceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, pp. 493-496, IEEE, 2009
6. N. G.Leveson and J. L.Stolzy, “Safety Analysis using Petri Nets,” IEEE Transactions on Software Engineering, Vol. SE-13, No. 3, pp. 386-397, 2006
7. S. M. Cho, H. S. Hong,S. D. Cha, “Safety Analysis using Coloured Petri Nets,” inProceedings of 1996 Asia-Pacific Software Engineering Conference, pp. 176-183, IEEE, 1996
8. D. Vernez, D. Buchs,G. Pierrehumbert, “Perspectives in the Use of Coloured Petri Nets for Risk Analysis and Accident Modelling,” Safety Science, Vol. 41, No. 5, pp. 445-463, 2003
9. H. Rakkay and H. Boucheneb, “Security Analysis of Role based Access Control Models using Colored Petri Nets and CPN Tools,” Transactions on Computational Science IV, pp. 149-176, Springer, 2009
10. S. W.Huang and Z. X. Wei, “Petri Net Theory and Its Application to the Discrete Event Systems,” Acta Aeronautica Et Astronautica Sinica, Vol. 9, No. 7, pp. A299-A306, 1988
11. X. Zhu, X. Tang,S. Han, “Ehpn-based Modeling of Airport Taxiway Operation Control in A-Smgcs,” Jiaotong Yunshu Gongcheng Xuebao, Vol. 10, No. 4, pp. 103-108, 2010
12. X. Zhu, S. Han,X. Tang, “Petri Net Modeling for A-Smgcs Airport Surface Operation Control,” Journal of Wuhan University of Technology (Transportation Science and Engineering), Vol. 35, No. 5, pp. 950-954, 2011
13. H. Smieszek and C. Karl, “An Approach to Cognitive Simulation of Air Traffic Controllers based on Coloured Petri Nets,” 2013
14. X. Zhang and S. Mahadevan, “Ensemble Machine Learning Models for Aviation Incident Risk Prediction,”Decision Support Systems, Vol. 116, pp. 48-63, 2019
15. E. Hollnagel, D. D. Woods,N. Leveson, “Resilience Engineering: Concepts and Precepts,” Ashgate Publishing, Ltd., 2006
16. M. H. C.Everdij, H. A. P. Blom, and M. B. Klompstra, “Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes,” IFAC Proceedings Volumes, Vol. 30, No. 8, pp. 169-174, 1997
17. M. H.Everdij and H. A. Blom, “Piecewise Deterministic Markov Processes Represented by Dynamically Coloured Petri Nets,” Stochastics an International Journal of Probability and Stochastic Processes, Vol. 77, No. 1, pp. 1-29, 2005
18. M. H.Everdij and H. A. Blom, “Petri-Nets and Hybridstate Markov Processes in a Power-Hierarchy of Dependability Models,” IFAC Proceedings Volumes, Vol. 36, No. 6, pp. 313-318, 2003
19. ICAO, “Manual on Simultaneous Operations on Parallel or Near-Parallel Instrument Runways (soir),” Doc 9643, Montreal, Canada, 2004
20. CCAR, “Air Traffic Management Rules for Civil Aviation,”CCAR-93TM-R5, China, 2017
21. K. J. Vicente, “Cognitive Work Analysis: Toward Safe, Productive, and Healthy Computer-based Work,” CRC Press, 1999
22. ICAO, “Air Traffic Management-Procedures for Air Navigation Services (5th edition),” Doc 4444, Montreal, Canada, 2016
23. B. Werther, “Colored Petri Net based Modeling of Airport Control Processes,” inProceedings of 2006 International Conference on Computational Intelligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06), pp. 108, IEEE, 2006
24. B. Werther, C. Moehlenbrink,M. Rudolph, “Colored Petri Net based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes,” inProceedings of International Conference on Digital Human Modeling, pp. 1027-1036, Springer, 2007
25. K. Jensen, L. M. Kristensen,L. Wells, “Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems,” Vol. 9, No.3-4, pp. 213-254, 2007

Modeling of ATC Operation Process based on Extended Colored Petri Net

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 0

Recommended 0