Autômato que descreve o fluxo de uma solicitação

Os estados possíveis para uma solicitação estão descritos na forma de um autômato com estado inicial Esperando aceitação e final Não existe no sistema.
Assim que um Solicitante ou Cadastrador cadastra uma solicitação, ela entra no estado inicial. A partir daí, pode transitar pelos estados do autômato.
Em cada estado do autômato um conjunto de transições são permitidas, sendo que as transições ocorrem da execução de determinadas ações. Por exemplo: estando no estado Em Análise existe uma trasição para o estado Rejeitada que ocorre da execução da ação Rejeitar.
Durante o desenvolvimento do sistema, o conjunto de estados cresceu consideravelmente, a fim de abranger a realidade na qual o sistema estava embutido. Por exemplo: o estado Apagada foi adicionado para evitar que uma solicitação fosse apagada por engano.

Figura 2: Diagrama que descreve os possíveis fluxos de uma solicitação no NAEG