Esta é uma captura de tela do menu de contexto de um estado. O menu tem as seguintes opções: Adicionar estado anterior, Adicionar estado, Criar estado inicial, Excluir, Excluir estados e copiar estados.