Uma ferramenta interativa baseada em redes de petri para modelagem, simulação e análise de sistemas complexos.

Abstract

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.