Geração automática da solução de controle para alocação de recursos utilizando redes de Petri RESUMO O sistema fl exível de manufatura (FMS fl exible manufacturing system) executa múltiplos processos simultaneamente que utilizam um conjunto limitado de recursos. Estes processos podem fi car permanentemente bloqueados em função da seqüência de atividades, isto é, o compartilhamento de um conjunto fi nito de recursos pode levar o sistema a um estado de autotravamento. O FMS pode ser visto como pertencente a uma classe de sistema a eventos discretos, onde não é possível determinar quando um evento ocorre e com isto a seqüência de eventos fi ca indefi nida. Este tipo de sistema pode ser modelado através de rede de Petri e assim explora-se esta técnica para desenvolver uma solução para o problema de autotravamento considerando o indeterminismo do FMS. O objetivo é introduzir uma abordagem algorítmica para a implementação de uma ferramenta computacional baseada na especifi cação funcional do FMS e que automatize a geração de uma estratégia de controle para a utilização de recursos e de regras para evitar o autotravamento.
PALAVRAS-CHAVESistema fl exível de produção, autotravamento de processos, rede de Petri, controle de sistemas de produção, alocação de recursos.
ABSTRACT
The fl exible manufacturing system (FMS) executes multiple processes simultaneously using a limited set of resources. These processes can be blocked permanently due to the sequence of the activities, i.e., the processes sharing a fi nite set of resources may eventually lead to a deadlock state. The FMS belongs to the class of discrete event systems where it is not possible to determine when an event will occur and the sequence of events becomes undefi ned. Such systems can be modeled using Petri net, and this work presents a method that solves the deadlock problem considering the indeterminism of FMSs. The goal of this work is to introduce an algorithmic approach, which allows the implementation of a computer program based on FMS functional specifi cation. The proposal is to automate the generation of the control strategy for resource utilization and the rules to avoid the deadlock situation.
KEY WORDSFlexible manufacturing system, deadlock avoidance, Petri net, production system control, resource allocation.
Automatic generation of control solution for resource allocation using Petri net modelFrancisco Yastami Nakamoto Centro Universitário Fundação Santo André Paulo Eigi Miyagi EPUSP Diolino José dos Santos Filho EPUSP 9 Nakamoto, F. Y.; Miyagi, P. E.; Filho, D. J. S. Automatic generation of control solution for resource allocation using Petri Net Model.