Modeling the Aircraft Ground Operation on Airport Based on Timed Petri Net | IEEE Conference Publication | IEEE Xplore