A segurança do espaço aéreo pode aumentar consideravelmente sob um novo paradigma no qual a tarefa de manter distância entre as aeronaves é delegada aos pilotos, que contarão com o Sistema de Assistência de Separação Aerotransportado (ASAS) como recurso que os informará sobre os riscos do tráfego circundante com até 15 minutos de antecedência, sem necessitar de auxílio dos controladores de tráfego aéreo. Esta antecedência é muito maior que a do atual sistema anti-colisão (TCAS), que é de menos de 1 minuto. O novo sistema funcionará em conjunto com o TCAS, proporcionando redundância, ou seja: se o TCAS falhar, o ASAS ainda pode emitir um alerta ou vice-versa. Este livro aborda a aplicação do ASAS para aumentar a precisão do espaçamento entre aeronaves que chegam sequencialmente a um determinado aeroporto, aumentando, por consequência, sua capacidade. A modelagem presente utiliza um formalismo matemático denominado "Rede de Petri Estocástica e Dinamicamente Colorida", com a obtenção de dados quantitativos sobre o risco de acidente. Esses dados indicam que o risco de acidente é significativamente menor com o uso do ASAS que sem o uso do mesmo.