DETECÇÃO E CORREÇÃO DE SITUAÇÕES DE DEADLOCK NAS REDES DE PETRI

Resumo

Em sistemas que compartilham recursos entre processos concorrentes podem ocorrer situações indesejáveis, tais como situações de deadlock. As redes de Petri, por ser um modelo formal e matemático, possibilitam a análise do sistema modelado de forma a encontrar os deadlock. Para que não haja comprometimento do desempenho esperado do sistema, o modelo do sistema deve ser analisado e os deadlock encontrados devem ser corrigidos. As situações de deadlock em redes de Petri estão relacionadas à existência de sifões que se esvaziam e controlar estes sifões é uma condição necessária para impedir que o sistema alcance as situações de deadlock. Para isto, propõe-se inserir um lugar adicional que controle o sifão, impedindo-o de ficar vazio. Este artigo apresenta as principais técnicas para detecção e correção de situações de deadlock em redes de Petri.