Аэропорт Петролина расположен в Бразилии и обслуживает г. Петролину. Петролина находится в 7 км от центра города. В этот аэропорт прилетают как регулярные рейсы 2 авиакомпаний, так и чартеры. Город Петролина не располагает другими аэропортами.
Аэропорт Петролина обслуживает только внутренние рейсы. Регистрация пассажиров и оформление багажа для самолетов внутренних линий обычно начинается за 2 часа и завершается за 40 минут до времени вылета.
Чтобы зарегистрироваться на рейс в аэропорту, надо предъявить билет и паспорт. Если пассажир купил электронный билет, для регистрации и посадки на рейс ему будет нужен только паспорт.