Modeling next generation air traffic control system with petri net