CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior / Na conjuntura atual à possÃvel observar o grave problema de escassez energÃtica com o qual a humanidade se depara. Os derivados de petrÃleo estarÃo se exaurindo nas prÃximas dÃcadas e o tempo geolÃgico necessÃrio para a revitalizaÃÃo do estoque desta energia fÃssil a inviabiliza no longo prazo. Neste contexto, a busca por fontes renovÃveis de energia, como, por exemplo, o biodiesel, torna-se de suma importÃncia. Diversas oleaginosas podem ser empregadas para a produÃÃo de biodiesel, dentre as quais pode ser destacada a mamona. O agronegÃcio da mamona constitui-se numa cadeia produtiva complexa, tornando necessÃrios esforÃos dirigidos para a estruturaÃÃo desta cadeia ainda incipiente. Sistemas a Eventos Discretos (SED) vÃm sendo amplamente utilizados na modelagem de cadeias produtivas, apoiando o processo de planejamento e de gerenciamento de tais sistemas. Dentre as tÃcnicas de modelagem de SED, as redes de Petri destacam-se por propiciarem uma representaÃÃo compacta de um sistema e por permitirem a sua simulaÃÃo e anÃlise. O controle supervisÃrio de SED consiste em sintetizar um supervisor que coordene as atividades de subsistemas de modo que o sistema geral satisfaÃa um conjunto de especificaÃÃes. O objetivo geral deste trabalho foi elaborar um modelo, baseado em redes de Petri, que permitisse o controle supervisÃrio da Cadeia Produtiva do Biodiesel da Mamona (CP/BDMA), com vistas a garantir sua efetividade. Foi desenvolvido um novo mÃtodo de controle supervisÃrio baseado em redes de Petri coloridas, denominado RestriÃÃes de Controle sobre Cores Decompostas (RCCD), sendo tambÃm proposta uma arquitetura para o controle supervisÃrio em sistemas logÃsticos. Idealizou-se um modelo teÃrico da CP/BDMA no qual foi possÃvel ressaltar a importÃncia da coordenaÃÃo de atividades logÃsticas no Ãmbito da cadeia. Foram estabelecidas especificaÃÃes funcionais para o sistema e, em seguida, efetuou-se a avaliaÃÃo do seu desempenho, com base no tempo de ciclo, atravÃs da simulaÃÃo de diversos cenÃrios operacionais. Como conclusÃes, pode-se ressaltar que o mÃtodo RCCD constitui-se em uma eficiente abordagem para o controle de SED, que a modelagem proposta permitiu uma maior compreensÃo acerca do sistema em estudo e que o controle supervisÃrio à uma tÃcnica que pode subsidiar o processo de tomada de decisÃo no Ãmbito CP/BDMA, sendo tambÃm aplicÃvel a outras cadeias produtivas agroindustriais / Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the castor bean is an example. The castor bean agribusiness is a complex commodity chain, making necessary researches for the conception of this incipient chain. Discrete Event Systems (DES) are largely used in the modeling of commodity chains, aiding the planning and the manage of these systems. Among the DES modeling techniques, the Petri nets stands out for as making a easier a compact representation of a system and for permitting its simulation and analysis. The supervisory control aims for synthesize a supervisor that coordinate the activities of the subsystems in order to satisfy a set of specifications in a general system. The general purpose of this work was create a model, based on Petri nets, that permit the supervisory control of Castor Bean Biodiesel Supply Chain (CBB/SC) in order to guarantee its efficiency and efficacy. It was developed a new method for the supervisory control based on colored Petri nets, called Constraints of Control on Decomposed Colors (CCDC). Also, it was proposed a new framework for the supervisory control in logistics systems. Functional specifications were established for found the system which had its performance evaluated, based on the lead time, through simulation of several operational scenarios. As conclusion, it seems clear that the CCDC method is a consistent approach for DES control, the proposed model helps in a better comprehension about the system in analysis and the supervisory control is a theory that can aid the decision making process in similar chains as CBB/SC

nÃo hà / Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobre Cores Decompostas (RCCD). AlÃmdisso, como consequÃncia, à apresentado ummÃtodo para reduÃÃo do nÃmero de lugares de controle denominado FusÃo de Controladores (FC). Os mÃtodos RCCD e FC sÃo uma extensÃo do trabalho de Moody e Antsaklis, que propÃem, originalmente, um Teorema comprovando a sÃntese de supervisores usando redes de Petri ordinÃrias e, dessa forma, sÃo propostas aqui as extensÃes desse Teorema, para o contexto das redes de Petri coloridas. Nesse caso, explora-se a decomposiÃÃo da matriz de incidÃncia de uma rede de Petri colorida para de…nir lugares de controle que nÃo sÃo con‡itantes em suas aÃÃes, usando o soft CPNTools como ferramenta. A seguir, à realizada a fusÃo desses lugares de controle, obtidos com o RCCD, com a aplicaÃÃo do mÃtodo FC, em que o lugar de controle encontrado, denominado supervisor resultante da fusÃo, atende as mesmas restriÃÃes e contribui com a mesma performance de controle do sistema. / This work proposes a newmethod for synthesis of supervisors in discrete event systems using coloured Petri nets, based in the theory of supervisory control. As a main aspect, there is the theoretical and formal mathematical proof of the method for synthesis of supervisors, called Control Constraints on Decomposed Colors (CCDC). In addition, as a consequence, it is presented a method for reducing the number of control places called Fusion of Controllers (FC). The CCDC and FC methods are an extension of the work of Moody and Antsaklis, they propose, originally a theorem proving the synthesis of supervisors using Petri nets thus are proposed here extensions of this theorem to the context of coloured Petri nets. In this case, it is explored the decomposition of the incidence matrix of a coloured Petri net to de…ne control places that are not con‡icting in their actions, using the soft CPNTools. The following is realized the fusion of these control places obtained with CCDC, with the aplication of the FC method. The obtained place is called the resulting fusion supervisor, where it is found the same constraints and contributes with the same control system performance.