LIMA, I. S.; http://lattes.cnpq.br/5379713635869189; LIMA, Itamar de Souza.
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.