Este artigo apresenta a ferramenta ATID -Authoring Tool for Instructional Design. A ATID permite que um professor ou designer instrucional consiga modelar o sequenciamento das atividades de uma disciplina ou curso, considerando as condições para a transição entre elas. A notação utilizada pela ferramenta é a Rede de Atividades de Alto Nível, a qual permite modelar atividades simples, sub redes, transições e repositórios. A notação está baseada em Redes de Petri, o que permite a verificação do modelo construído, identificando atividades que foram propostas mas que não necessitam ser finalizadas ou situações de deadlock, em que o aluno não consegue finalizar o curso.