Resumo: Sistemas produtivos flexíveis, que executam múltiplos processos simultâneos com compartilhamento de recursos, podem apresentar indeterminismo em relação ao tempo e ao sequenciamento das atividades no contexto global. Tais sistemas podem ser classificados como Sistemas Produtivos Complexos e modelados através de Redes de Petri e suas derivadas quando abordados como sendo uma classe de Sistemas a Eventos Discretos. Neste contexto, se a alocação de recursos compartilhados não for gerenciada adequadamente, é possível ocorrer um auto-travamento ou deadlock do sistema devido a falta de informação quanto ao sequenciamento do processo. Uma abordagem efetiva para este problema global realizado no sistema é o método deadlock avoidance que consiste na detecção do estado pré-deadlock conjugada a uma reação que evita a evolução do sistema para o estado de travamento. Este método baseia-se no modelo GAR (Grafos de Alocação de Recursos). Este trabalho propõe uma sistematização deste método que possibilita a geração automática, através de ferramentas computacionais do modelo de controle de recursos.
