Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoAs redes de Petri estão sendo atualmente utilizadas em sistemas de manufatura. Neste sentido, o presente trabalho tem como propósito apresentar os diferentes conceitos relativos às redes de Petri e suas várias classes de modelos derivados, os quais podem ser utilizados para modelar sistemas dinâmicos de eventos discretos de qualquer tipo. Esta ferramenta nos permite visualizar com facilidade situações tais como concorrência, sincronização e compartilhamento de recursos, os quais são próprios de um sistema flexível de manufatura (FMS), além do mais, nos permite uma análise tanto qualitativa como quantitativa. Cada um dos modelos derivados tais como RdP estocásticas, RdP colorida, etc. Têm seu próprio caráter específico e campo de aplicação privilegiado.