Research on Situation Awareness of Airport Operation Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore