Muitos trabalhos tem sido desenvolvidos aplicando Redes de Petri (RDP) e suas variações para o projeto, análise e controle de sistemas de manufatura (SM). Devido a grande complexidade de SM e dos sub-sistemas que os compõem, estes sistemas estão sujeitos a paradas em função do mal funcionamento de um ou mais componentes, além de paradas para manutenção. Esse aspecto não é comumente considerado nos trabalhos aplicando RDP em SM. Por este motivo, o autor introduz Redes de Petri automodificáveis (RDPAM) como uma ferramenta para o controle de SM. As RDPAM apresentam a característica de mudar suas regras de disparo em função do estado atual do sistema permitindo que o controle do sistema se adapte as ocorrências previstas. Para o desenvolvimento deste trabalho, o autor apresenta conceitos relativos a manutenção aplicáveis a SM e as várias abordagens de RDP e as suas aplicações em SM. A definição formal de RDPAM proposta por Valk é introduzida e finalmente são discutidos alguns exemplos que mostram a aplicabilidade da RDPAM no controle de SM de modo a incorporar a possibilidade de ocorrência de paradas, sejam elas devido a manutenção ou falha.

No summary