Este trabalho apresenta um estudo sobre as modificações necessárias no ASiA (Ambiente de Simulação Automático) para viabilizar a utilização de Redes de Petri para a representação de modelos. Esse estudo inicia-se com uma comparação entre Redes de Filas e Redes de Petri. utilizadas como técnicas para modelagem de sistemas computacionais, visando a avaliação desses sistemas através de simulação. O estudo da viabilidade analisa diversos aspectos tais como: possibilidade de utilização da linguagem SMPL; avaliação das modificações necessárias no Editor Gráfico; alterações necessárias no Gerador de Aplicações e no Gabarito utilizado pelo ASiA.

This work presents a study in respect to the modifications required in ASiA (Automatic Simulation Environment) to make possible the utilization of Petri Nets in models representation. The first step of this study is a comparison between Queue Nets and Petri Nets, when they are used as a techinique for computer system modeling, aiming the avaluation okf these systems using simulation. The viability study considers differents aspects, such as: the usage of SMPL in the simulation of systems represeted through Petri Nets; evaluation of the changes in the ASiA Graphic Editor, Aplication Generator and in the stencil used for the ASiA.