Modeling of ATC Operation Process based on Extended Colored Petri Net
Jiuxia Guo, Shuzhi Sam Ge, Xinping Zhu, and Fangfang Zhao
Int J Performability Eng . 2019, (9): 2522 -2533 .  DOI: 10.23940/ijpe.19.09.p26.25222533