tga-classica-atual

ESCOLA POLITÉCNICA
DE PERNAMBUCO

SIMULAÇÃO DE REDES DE PETRI
EM AMBIENTE JAVA

Trabalho de Conclusão de Curso
Engenharia da Computação

César Augusto Lins de Oliveira
Orientador: Prof. Dr. Ricardo Massa Ferreira Lima

Recife, 04 de julho de 2006

ESCOLA POLITÉCNICA
DE PERNAMBUCO

SIMULAÇÃO DE REDES DE PETRI
EM AMBIENTE JAVA

Trabalho de Conclusão de Curso
Engenharia da Computação

Este Projeto é apresentado como requisito parcial para obtenção do diploma de Bacharel em
Engenharia da Computação pela Escola
Politécnica de Pernambuco – Universidade de
Pernambuco.

César Augusto Lins de Oliveira
Orientador: Prof. Dr. Ricardo Massa Ferreira Lima

Recife, 04 de julho de 2006

César Augusto Lins de Oliveira

SIMULAÇÃO DE REDES DE PETRI
EM AMBIENTE JAVA

ESCOLA POLITÉCNICA
DE PERNAMBUCO

i

Resumo
Apesar de bem estabelecidos e de serem utilizados com sucesso por diversas empresas há muitos anos, os métodos formais ainda enfrentam a resistência dos profissionais recém-formados que, na sua maioria, não são capazes de descobrir uma aplicação prática para os conhecimentos adquiridos durante sua formação e os evitam veementemente, imaginando que são complexos demais para serem utilizados no dia-a-dia fora da academia. As redes de Petri constituem uma técnica formal bastante poderosa, que é capaz de modelar sistemas assíncronos e concorrentes e fornecer diversas informações qualitativas e quantitativas sobre este, através de métodos analíticos e/ou de simulações. Apesar de sua grande aplicabilidade, as redes de Petri não são utilizadas tão bem quanto poderiam. Isto se deve, em parte, ao fato de as ferramentas serem em sua maioria difíceis de serem utilizadas e de apresentarem interfaces obsoletas. Isto dificulta que novos usuários venham a aplicá-las em seus projetos. A necessidade de novas ferramentas é uma realidade. O trabalho apresentado nesta monografia consistiu na implementação de um conjunto de simuladores de