Hoy en día son escasas las herramientas en Internet que permiten crear y compartir diagramas en línea. Por eso, esta es una buena oportunidad de construir un sitio web que tenga dicha funcionalidad, ya que a pesar de las dificultades que se puedan presentar promete una serie de ventajas, por ejemplo ser accesible desde cualquier PC conectado a Internet y poder colaborar con otros usuarios alrededor del mundo. En esta memoria se implementó un sitio web que permite realizar diagramas de redes de Petri en línea, grabarlos, almacenar distintas versiones, exportarlos a formato PNG y compartir documentos con otros usuarios. Además, se intentó proveer de herramientas que permitan la colaboración asíncrona de varios usuarios sobre un mismo documento. Para ello utilizamos Stick-Ons aplicados a diagramas (lo cual permite tener un control local de versiones). También se implementó una funcionalidad poco común: es posible “entrar” a un elemento del diagrama y obtener un sub diagrama, por ejemplo para tener mayor detalle. Esta funcionalidad se usó para poder representar sub-procesos en las redes de Petri. En el trabajo realizado fueron revisadas las posibilidades gráficas que tiene el browser, con que herramienta podemos implementar los servicios necesarios y que base de datos vamos a utilizar. Se eligió Flash (Flex) para el desarrollo de la interfaz, PHP para los servicios web y MySql como base de datos. Posteriormente diseñamos de qué manera deberíamos aplicar los StickOns en el caso de diagramas, en donde proponemos la forma en que se pegarán y el feedback visual que tendremos al despegarse el Stick-On. Finalmente se implementa el sitio web y el editor de diagramas, incorporando los Stick-Ons como parte de su funcionalidad. Los resultados finales se ilustran creando algunas redes de Petri tomadas del libro "Workflow Managment" en el sitio web. Además se muestra un ejemplo del uso de Stick-Ons hecho también dentro de la aplicación creada. Concluimos que los Stick-Ons son una herramienta adecuada para llevar un control de cambios local dentro de un diagrama y que si se mantiene dentro de rangos normales de operación, el proyectar una sombra cuando se despega un StickOn da una buena indicación visual del elemento despegado.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Química / Made available in DSpace on 2013-07-16T03:04:33Z (GMT). No. of bitstreams: 1 241649.pdf: 3341855 bytes, checksum: 05e7e08ad9fe7613d4d2cc85daf872db (MD5) / Vias metabólicas são descritas por um conjunto de reações bioquímicas acopladas por um metabólito intermediário em comum. Cada uma das reações deste conjunto é facilitada pela presença de uma enzima. O estudo destes sistemas geralmente assume que a concentração de enzimas é constante e seu efeito é abstraído pela velocidade de reação identificada por seu parâmetro cinético correspondente. Enzimas por sua vez, são o resultado de uma complexa rede de interações biomoleculares governadas por um conjunto de sinais que podem levar a ativação ou a repressão da produção destas enzimas. Com o avanço da biologia molecular e conseqüentemente das inovações tecnológicas relacionadas, a quantidade de informações disponível possibilita considerar também as redes de regulação genômica que dão origem às enzimas e incluí-la na análise de vias metabólicas. Redes de regulação genômicas demonstram um forte caráter combinatório, enquanto que reações bioquímicas demonstram um caráter fluido e contínuo. Desta forma, a modelagem e análise de vias metabólicas reguladas naturalmente enquadram-se sob o domínio de sistemas híbridos. No entanto, como uma primeira abordagem de validação ou refutação de hipóteses sobre observações biológicas, vias metabólicas reguladas podem ser modeladas e analisadas por métodos formais da matemática discreta. Neste trabalho, redes de regulação genômicas serão modeladas e analisadas pelo formalismo de grafos regulatórios e reações bioquímicas por redes de Petri. Em seguida, o grafo de regulação será transcrito para um modelo equivalente em termos de redes de Petri. Finalmente, o modelo integrado da via metabólica com a rede de regulação, ambas sob o formalismo de rede de Petri, será analisado. Os mecanismos de regulação da produção do aminoácido aromático triptofano pela Escherichia coli serão utilizados para compor o modelo biológico. Metabolic pathways can be described by a set of biochemical reactions coupled by a common intermediate metabolite. Each one of these reactions is facilitated by the presence of an enzyme. Biochemical reactions modeling always assume a constant enzyme concentration, and its effect on the system is abstracted by its corresponding kinetic parameter. Enzymes are the result of a complex biomolecular interactive network, ruled by a set of signals, which can activate or deactivate the process of enzyme production. Molecular biology recent discoveries and its accompanying technological innovations produce an enormous set of molecular level information, which permits to consider the inclusion of genetic regulatory networks to the analyses of biochemical networks. Genetic regulatory networks have a strongly combinatorial behavior, while biochemical networks exhibits a fluid and continuous character. Therefore, regulated biochemical networks are naturally under hybrid system domain of modeling and analysis. However, discrete mathematical methods can be used to model regulated metabolic pathways as a first method to validate or refuse biological hypothesis. In this work, genetic regulatory networks will be modeled and analyzed under the regulatory graph formalism, and biochemical networks as Petri nets. In the sequel, the logic regulatory graph will be translated to an equivalent Petri net model. Finally, the model resulted from the integration of biochemical networks with the genetic regulatory network, both in terms of Petri nets, will be analyzed. The regulatory mechanisms of tryptophan production by Escherichia coli will be used as a biological model.

RIBAS, M. Um Modelo de decisão para adoção de serviços em nuvem usando redes de Petri. 2015. 121 f. Tese (Doutorado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-12-21T16:50:41Z No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-01-04T16:14:22Z (GMT) No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) / Made available in DSpace on 2016-01-04T16:14:23Z (GMT). No. of bitstreams: 1 2015_tese_mribas.pdf: 8160411 bytes, checksum: 361199fdfa8d2b92fce33301f65f6d36 (MD5) Previous issue date: 2015-09-24 / Cloud services are now widely used, especially in Infrastructure as a Service (IaaS), with big players offering several purchasing options, and expanding almost daily the range of offered services. Cost reduction is a major factor promoting cloud services adoption. However, qualitative factors need to be evaluated as well, making the decision process of cloud services adoption a non-trivial task for managers. In this work, we propose a Petri net-based multi-criteria decision-making (MCDM) framework, in order to evaluate a cloud service in relation to a similar on-premises offer. The evaluation of both options considers cost and qualitative issues in a novel and simple method that incorporates best practices from academy and IT specialists. Furthermore, the use of Petri net models allows powerful extensions to perform deeper analysis of specific factors as needed. The framework can be helpful for IT managers to decide between the two options, and can be used for any type of cloud service (IaaS, SaaS, PaaS). Since cost is one of the most important factors promoting cloud adoption, we proceed with a deeper analysis of one important cost factor. We propose a Petri net to model cost savings using public clouds spot Instances purchasing option. Through extensive simulations in several scenarios we conclude that spot Instances can be a very interesting option for savings in auto scaling process, even in simple business applications using only a few servers. Exploring different purchasing options for cloud services can make the difference in the decision making process. / Atualmente, os serviços em nuvem são amplamente utilizados, principalmente em infraestrutura como serviço (IaaS), com grandes fornecedores oferecendo várias opções de compra e expandindo quase diariamente a gama de serviços oferecidos. A redução de custos é o principal fator que promove a adoção de serviços em nuvem. No entanto, é preciso avaliar também fatores qualitativos, o que torna o processo de decisão de adoção de serviços em nuvem uma tarefa pouco trivial para os gestores. Este trabalho propõe um modelo para tomada de decisão multicritério (MDMC) utilizando redes de Petri para avaliar um serviço de nuvem comparado com um serviço disponibilizado localmente (on-premises), nas dependências do usuário. A avaliação das duas opções considera questões qualitativas e de custo através de um método novo e simples, que incorpora as melhores práticas de especialistas da academia e de tecnologia da informação (TI). Além disso, o uso de redes de Petri permite extensões poderosas para realizar análises mais profundas de fatores específicos, conforme a necessidade de cada cenário. O modelo pode ser útil para apoiar gestores de TI na decisão entre as duas opções e pode ser usado para qualquer tipo de serviço de nuvem (IaaS, SaaS, PaaS). Como o custo é um dos fatores mais importantes para a adoção da nuvem, procedemos a uma análise mais profunda de um fator de custo importante. É apresentada uma extensão ao modelo, também construído com redes de Petri, para simular economias de custo usando uma determinada opção de compra de serviços em nuvens públicas, as instâncias spot. Através de extensas simulações em vários cenários, o trabalho conclui que a utilização de instâncias spot pode gerar uma grande economia no processo de escalonamento automático, mesmo em aplicações relativamente simples, utilizando apenas alguns servidores. Explorar diferentes opções de compra para os serviços em nuvem faz uma enorme diferença nos custos e pode ter grande influência no processo de tomada de decisão.

COSTA, E. J. S. C. Avaliação do desempenho logístico de cadeias produtivas agroindustriais: um modelo com base no tempo de ciclo. 2002. 182 f. Dissertação (Mestrado em Engenharia de Transportes) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2002. / Submitted by Zacarias Barbosa Matias Junior (zaca@det.ufc.br) on 2013-05-17T17:33:52Z No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-05-27T12:46:19Z (GMT) No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) / Made available in DSpace on 2013-05-27T12:46:19Z (GMT). No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) Previous issue date: 2002-11 / In the past two decades enterprises have been forced to adopt a more effective control of theirs logistics performance both in activities which depends on their own as in those linked to the supply chain they take part of. In performance assessment tasks, indicators are crucial to make feasible the evaluation process, which must show in what degree the enterprise’s stated objectives are being reached. The broad scope and the high complexity of the logistics performance evaluation process make necessary to use a due simplification on its modeling. This work presents a performance assessment model focused on the agribusiness supply chains, making use of Petri nets technique. A case study is presented and discussed concerning the melon in naturain the Agropólo Baixo Jaguaribe, a fruit production region supported by irrigation and situated in Ceará State, northeastern Brazil. The melon fruit is presently the main export fruit in Brazil and Ceará is the second larger exporter state. The proposed model is mainly based on the lead time variable and makes easily possible to visualize and to understand the performance involved with the dynamic structure analyzed in the melon supply chain. It was found that Petri nets technique may be useful in decision -taking process through the construction of scenarios and analyses of simulated courses of action. The model application results duly replicates real outputs in the case study. / Em menos de duas décadas, um novo mundo competitivo emergiu despertando nas organizações a necessidade de um controle mais efetivo de seu desempenho logístico, tanto individual quanto coletivamente (ao longo da supply chain). Embora não sejam um fim em si mesmos, os parâmetros de desempenho são fundamentais na medida em quepossibilitam às empresas avaliarem se os objetivos estabelecidos dentro da estrutura logística adotada estão sendo alcançados. Todavia, a complexidade e abrangência do assunto implicam na simplificação deste processo (de avaliação) e na utilização de ferramentas que o auxiliem. Nesse sentido, o presente trabalho apresenta um modelo de avaliação do desempenho logístico de cadeias produtivas agroindustriais, elaborado a partir de redes de Petri e que teve como ambiente de aplicação o segmento da fruticultura irrigada, especificamente, a cadeia logística do melão in naturaproduzido no Agropólo Baixo Jaguaribe (Ceará). A escolha da fruticultura irrigada se deve ao fato desta vir se constituindo numa das principais atividades da cena econômica nordestina. Nesse contexto, o melão se coloca como a principal fruta exportada pelo Brasil e o Ceará, por sua vez, como o segundo maior produtor de melão do país. O Modelo de Avaliação do Desempenho Logístico de Cadeias Produtivas – ADELCAPpermite, além da avaliação de desempenho (com base no tempo de ciclo) a visualização e análise, a qualquer instante, da dinâmica da estrutura modelada. Mostra-se, no trabalho, que esta característica, subjacente aos modelos desenvolvidos com redes de Petri, pode auxiliar o tomador de decisões através da construção de cenários e simulações operacionais na cadeia estudada. Seu emprego apresentou bons resultados quando comparados à situação atual das unidades de médio porte que produzem melão no Agropólo Baixo Jaguaribe.

SILVEIRA, J. G. Sistema para seleção automática de grupos de ajustes em relés de proteção. 2011. 98 f. Dissertação (Mestrado em Engenharia Elétrica) - Centro de Tecnologia, Universidade Federal do Ceará, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2012-01-16T17:43:25Z No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2012-01-16T17:43:53Z (GMT) No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) / Made available in DSpace on 2012-01-16T17:43:53Z (GMT). No. of bitstreams: 1 2011_dis_jgsilveira.pdf: 3681383 bytes, checksum: fef266008a88b934c39f8845a1091bfa (MD5) Previous issue date: 2011-11 / The modern systems of measurement, protection, command, control and supervision (MPCCS) have contributed in a meaningful way to increase the security and reliability of the power systems. The most important part of this multifunctional system is the protection system, which has as the main goal to maintain the power system integrity when it is under a disturbance, assuring the people‟s safety as well as the continuation of the services to the part of the system not involved in the disturbance. For this, the protection system must fulfill some basic requirements such as: proper selectivity and coordination, prompt response, sensitivity to protect the largest zone as possible and reliability. In a system protection, one component takes on a prominent position, given its functional importance: the digital protection relay. It is in this device where the necessary adjustments are configured for proper operation of the protection scheme of a given electrical power system. The digital relays are devices that have several protection functions, with multiple levels of settings, measurements, oscillography, supervision, control and communication. Besides all these features, the digital relays have multiple groups of settings that can be previously configured and switched among them, according to operational needs. The changing of setting group in a relay is a very important resource at a protection system, extensively used by protection sectors of companies in the power sector, allowing the optimization of the protection system setting, making it compatible to a new topology taken on by the system after a fault or an intentional removal of some system component. Nowadays this procedure is performed manually, making it vulnerable to human errors that might occur as a consequence of an outage, with serious effect in the system performance indices. In this sense this work presents a system, based on Colored Petri Nets, able to automatically change the setting groups of a protection system when the power network topology changes. This system monitors in real time the status of the circuit breakers in order to take the decision whether a meaningful change in the network topology has taken place. If so, a command is automatically sent to the relays to change the active group setting so as to maintain a suitable coordination of the protection system. / Os modernos sistemas de medição, proteção, comando, controle e supervisão (MPCCS) têm contribuído de forma significativa para o aumento da segurança, confiabilidade e continuidade de serviço dos sistemas elétricos de potência. O sistema de proteção é parte relevante desse sistema multifuncional, o qual tem como objetivo principal manter a integridade do sistema elétrico quando submetido a um distúrbio, garantindo a segurança de pessoas e assegurando a continuidade de serviço da porção não envolvida no problema. Para tanto, o sistema de proteção deve atender a alguns requisitos básicos tais como: boa seletividade e coordenação, rapidez na atuação, sensibilidade para proteger a maior zona de proteção possível e confiabilidade. No sistema de proteção, um componente assume uma posição de destaque: o relé de proteção digital. É neste componente que são configurados os ajustes necessários para o correto funcionamento do esquema de proteção de um dado sistema elétrico. Os relés de proteção digitais são equipamentos multifuncionais, que possuem diversas funções de proteção, medição de grandezas elétricas, registros oscilográficos, supervisão, controle e comunicação. Além de todos estes recursos, os relés digitais dispõem de múltiplos grupos de ajustes que podem ser previamente configurados conforme necessidade operacional. A mudança de grupo de ajuste de um relé é um recurso amplamente utilizado pelas áreas de proteção das empresas do setor elétrico, possibilitando uma otimização do ajuste do sistema de proteção, compatibilizando-o às diversas topologias assumidas pelo sistema elétrico após uma falta ou retirada intencional de algum componente da rede. Atualmente este procedimento é realizado de forma manual, tornando-o vulnerável à falha humana, podendo ter como consequência desligamentos de grandes blocos de carga por falha de coordenação, com graves prejuízos para os indicadores da qualidade de serviço de duração e frequência de interrupção, DEC e FEC, e para a imagem da empresa. Neste trabalho é apresentado um sistema, baseado em Redes de Petri Coloridas, capaz de realizar a mudança automática entre grupos de ajustes de um sistema de proteção a partir da mudança de topologia do sistema elétrico. O sistema desenvolvido monitora a topologia da rede elétrica, em tempo real, a partir das informações de estado dos disjuntores. Para qualquer alteração na configuração da rede elétrica, que caracterize necessidade de alteração no sistema de proteção, automaticamente são enviados sinais de comando para os relés, alterando os grupos de ajustes ativos de um conjunto predefinido, de modo a se obter a melhor graduação de proteção possível para a porção correspondente do sistema elétrico afetado pela alteração de topologia.

MENEZES, F. A. A. Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas. 2011. 103 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-04T14:32:13Z No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-05T18:56:49Z (GMT) No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Made available in DSpace on 2016-04-05T18:56:49Z (GMT). No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) Previous issue date: 2011-08-09 / 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. / 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.

BATISTA, I. J. L. Modelo de navegação para robôs móveis baseado em redes de Petri coloridas. 2008. 85 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2008. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-04T15:54:49Z No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-05T19:13:07Z (GMT) No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) / Made available in DSpace on 2016-04-05T19:13:07Z (GMT). No. of bitstreams: 1 2008_dis_ijlbatista.pdf: 982015 bytes, checksum: 9bde11dfac7d6eb3bf8e7e9e24909bf6 (MD5) Previous issue date: 2008-01-30 / Systems of autonomous navigation must be able to define a sequence of actions to be taken bymobile robots endowed with a set of limited sensors, while exposed to an unknown environment and having to serve simultaneously a set of objectives previously specified. The scientific interest in the study of systems of navigation in unknown environment which are subject of serving to several objectives is motivated basically by its evident potential in industrial applications and by the fact of demanding the implementation of complex solutions strategies. This research presents the modeling of a navigation system for mobile robots through coloured Petri nets. The model presented here can simulate several situations, such as: the representation of the world around the robot, interaction with the environment, trajectory planning, robot location, battery analysis, as well as how to serve as a basis for implementation in a real mobile robot and optimization of the system. / Sistemas de navegação autônomos devem ser capazes de definir uma seqüência de ações a serem tomadas por robôs móveis, dotados de um conjunto limitado de sensores, quando expostos a um ambiente externo suposto desconhecido e tendo que atender simultaneamente a um elenco de objetivos previamente especificados. O interesse científico no estudo de sistemas de navegação em ambientes desconhecidos e sujeitos ao atendimento de múltiplos objetivos é motivado basicamente pelo seu evidente potencial em aplicações industriais e pelo fato de demandarem a implementação de estratégias de soluções complexas. Este trabalho apresenta a modelagem de um sistema de navegação para robôs moveis por meio de Redes de Petri Coloridas. O modelo apresentado consegue simular várias situações, tais como a representação do mundo em volta do robô, interação com o ambiente, planejamento de trajetória, localização do robô e análise das baterias, bem como servir de base para implementação em um robô móvel real e otimização do sistema.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T06:54:46Z (GMT). No. of bitstreams: 1 229642.pdf: 913013 bytes, checksum: b91e4f245fcd6bd232b3b75341b7ea38 (MD5) / A resolução de diferentes problemas relacionados aos Sistemas a Eventos Discretos deu origem a duas classes de técnicas bem definidas. De um lado estão as técnicas de síntese automática de supervisores, cuja maior contribuição é a menor interação com o projetista durante o processo de cálculo. De outro lado, as técnicas de verificação formal, que permitem ao projetista verificar se uma dada especificação é válida para um sistema (controlado ou não). Dentro deste contexto, o presente trabalho contribui para a unificação destas técnicas, ao incorporar sistemas de equações escritas em µ-calculus ao processo de síntese de supervisores em sistemas modelados por redes de Petri. Após a etapa de determinação do comportamento minimamente restritivo, utiliza-se a Teoria das Regiões para implementar o supervisor por meio da adição de lugares de controle à rede de Petri que modela o comportamento do sistema em malha aberta. Para isto, utilizam-se alguns princípios das abordagens Ziller e Schneider e Ghaffari et al., em conjunto com alguns aspectos peculiares. O principal resultado é a proposta de uma nova metodologia tão flexível e computacionalmente eficiente quanto a abordagem Ramadge e Wonham, permitindo a resolução de alguns exemplos tratados na literatura. Ao herdar as boas características das abordagens anteriores, a metodologia proposta também pode ser generalizada, de forma que problemas não abordados diretamente pela abordagem Ramadge e Wonham possam ser tratados. Como principais ferramentas de apoio, foram utilizados os softwares Tina e MEC. Por último, são apresentadas perspectivas visando incorporar explicitamente aspectos temporais ao processo de síntese.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-18T11:14:59Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:40:28Z : No. of bitstreams: 1 182895.pdf: 3987168 bytes, checksum: dc262a6c5ad06c06dab04cdc32b4ed29 (MD5) / Um dos maiores desafios enfrentados pela administração da produção e do qual depende muito a eficiência de todo sistema produtivo, sobretudo em ambientes flexíveis de manufatura, é a forma como são tratados os problemas relacionados com o planejamento e a programação da produção. O problema do planejamento esta geralmente relacionado com a quantidade de cada tipo de produto a ser fabricado em cada período de planejamento, dentro de um determinado horizonte, tendo como objetivo satisfazer uma demanda prevista a um custo mínimo. A programação da produção, por sua vez, tem por função a alocação ótima de recursos às operações produtivas com a finalidade de cumprir com a fabricação das quantidades planejadas previamente. Este problema (programação) resulta sendo muito difícil de ser resolvido, sobretudo quando se trabalha em ambientes flexíveis, onde diferentes máquinas são capazes de realizar variadas operações. Neste sentido, o presente trabalho tem como objetivo apresentar as Redes de Petri como uma ferramenta de modelagem tanto gráfica como matemática, para resolver os problemas relacionados com o planejamento e a programação da produção, em ambientes flexíveis de manufatura do tipo job shop.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.