Modeling and analysis of departure routine in air traffic control based on Petri nets | Publicación