Flight support service process modeling method based on colored time Petri net
XING Zhiwei, WEI Zhiqiang, LUO Qian, WEN Tao, CONG Wan, XIA Huan
Systems Engineering and Electronics . 2018, (5): 1064 -1069 .  DOI: 10.3969/j.issn.1001-506X.2018.05.16