Sobre o Problema de Modelagem, Usando Grafos do Tipo Predicados/Transições, de Controle de Fluxo em Redes de Compuatdores

Este estudo se divide em quatro partes. Na primeira, apresentam-se, sucintamente, os métodos de controle de fluxo em redes de computadores que queremos modelar. Na segunda parte, explica-se, formalmente e através de exemplos simples, a ferramenta principal de nossa modelagem, ou seja, o grafo do tipo predicados/transições ('PrT-Nets') que é, basicamente, um Petri-Net de primeira ordem.

Em seguida, a terceira e principal parte mostra como usar os 'PrT-Nets' para modelar o controle de fluxo. Foi empregado um procedimento progressivo, passo a passo, que, no primeiro passo, resultou num modelo que, basicamente, representa o controle 'end-to-end', ignorando, por enquanto, os vértices intermediários. Este modelo inicial serviu, depois, para incluir o problema mais importante, ou seja, a consideração destes vértices. Para obter isto, tivemos que "abrir" os vértices para poder tratar os diferentes canais de entrada e saída de uma maneira quase independente Mostramos como se pode, usando a técnica de 'PrT-Nets', modelar filas em relação a administração do espaso disponível nas mesmas.

A inclusão, no modelo, dos problemas ACK ('acknowledgement') e NAK ('negative ACK'), trazia, como conseqüência direta, a modelagem de controle de fluxo em canais entre vértices vizinhos o que inclui, por exemplo, a questões de retransmissões de mensagens. Como estas também podem ocorrer por causa de um 'time-out', achamos por bem de incluir, no modelo, também os aspectos de tempos envolvidos se restringindo, porém, ao 'time-out', no nível entre vértices vizinhos, e ao 'check-time', no nível 'end-to-end'. O modelo final desta tese foi obtido com a consideração de mensagens do tipo multipacotes. 

Finalmente, na parte conclusiva, indicou-se possíveis melhoramentos do modelo como, por exemplo, através da inclusão dos problemas de mensagens de controle, de ferramentas específicas (adaptação do crédito, alocação dinâmica do espaço nos 'buffers', roteamento distribuído e adaptativo], acesso em enlaces via satélite, etc.. Também foi chamada a atenção sobre a necessidade de sistemas computacionais para facilitar a modelagem em si e, como ponto mais importante, a investigação da dinâmica do sistema representado pelo modelo.