Colored Petri Net Based Modeling of Airport Control Processes | IEEE Conference Publication | IEEE Xplore