Airport security process optimization based on GSPN and queuing theory | IEEE Conference Publication | IEEE Xplore