An interactive petri net-based tool for modeling, simulation and analysis of complex systems.

O projeto de sistemas complexos requer um processo intensivo de modelagem, simulação e analise. As tarefas, as temporizações, as restrições de concorrência e de conflito são, geralmente, analisadas a partir de valores próximos (ou médios) que assumem as variáveis do sistema, para determinados valores de entrada e determinada resposta ou valores esperados de saída. Neste sentido, a simulação pode contribuir na determinação de parâmetros dos sistemas complexos e na obtenção de referencias para novas aplicações. Pode, ainda, reprovar, cancelar e paralisar sistemas cujos projetos ou procedimentos estejam sendo tratados como corretos. As redes de Petri tem sido largamente utilizadas como ferramentas gráficas e matemáticas no auxilio ao projeto de sistemas complexos. Estes sistemas são caracterizados pelo comportamento discreto, sequencial, assíncrono e não determinístico que, aliado aos processos concorrentes e conflitantes de suas atividades, os fazem de difícil (senão impossível) analise, quando aplicadas técnicas tradicionais de controle. A presente dissertação apresenta uma breve introdução das redes de Petri e algumas de suas extensões e a ferramenta por mim desenvolvida denominada ManNet. Esta ferramenta e baseada em linguagem orientada a objeto e e compatível com computadores pessoais. Dentre suas diversas facilidades, permite a interação com o usuário em tempo real e objetiva auxiliar no processo de modelagem, simulação e analise de modelos que usam redes de Petri e extensões. Como exemplos de aplicação, apresentamos uma célula de manufatura e um conhecido protocolo de comunicação de dados.Complex Systems design require intensive modeling, analysis and simulation. In some cases, a complex system can be seem as a multi-task and independent sub-systems. Each task, its timing, concurrency and conflit dependencies may be analysed properly with respect of their input and output values. Therefore, simulation would help the designer to stablish complex parameters of sub-systems as alternative references for new applications. In some cases supposed complete system may be modified or extinguished, after the analisys of its model. In general, complex system has huge dimensions or multi-level algorithms that means in complex sub-systems integration and high cost of design; as example, we can cite Flexible Manufacturing Systems (FMS) and data communication protocols. Petri nets have proven to be very reliable in practice for the design of such systems named Discret Event Systems, DES. These complex systems are characterized by its assinchronous and sequential and stochastic behavior, by high level of concurrancy and conflit of its tasks and mutual exclusive resources. These properties are of difficult descrition and analysis (or impossible) when used tradictional Theory of Control. In this dissertion we present the basic concepts of Petri nets and some temporal extensions and our interative Petri net tool named ManNet. We also exemplify the application of this tool by modeling and analysing two examples, a manufacturing cell and a data communication protocol