Orientador: Arthur João CattoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Este trabalho apresenta o desenvolvimento e a análise de um modelo para a arquitetura de fluxo de dados de Manchester empregando a Teoria Geral de Redes. As fases de desenvolvimento do modelo encontram-se detalhadas demonstrando a aplicabilidade desta teoria à modelagem de sistemas com tarefas concorrentes. Na fase de validação do modelo foi utilizado para sua análise um método analítico determinístico baseado em redes de Petri, o modelo-Q. Este mesmo método foi empregado na fase de análise do modelo, visando a identificação de pontos de estrangulamento do desempenho da arquitetura, e na avaliação de algumas alternativas, visando a remoção destes pontos. O trabalho, além de desenvolver um modelo para a arquitetura de fluxo de dados de Manchester, demonstra a potencialidade deste tipo de ferramenta para identificação de problemas e avaliação de alternativas de projeto para esta classe de máquinas.Abstract: This work presents the development and analysis of a model for the Manchester data flow architecture using the General Net Theory. The model's development phases are detailed, demonstrating the applicability of such theory to the modelling of systems with concurrent tasks. During the model's validation phase, an analytical deterministic method based on Petri nets, the Q-model, was used. The same method was used during the model's analysis phase, aiming at identifying performance bottlenecks in the architecture and at evaluating alternatives in order to correct such problems. The work, besides developing a model for the Manchester data flow architecture, demonstrates the potential of this kind of tool for identifying problems and evaluating design alternatives for this class of machines.MestradoMestre em Ciencia da Computação