Thèse de doctorat : Bioinformatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.

Thèse de doctorat : SCIENCES APPLIQUEES : Metz : 1999. / 1999METZ003S. 109 REF.

Zugl.: Magdeburg, Univ., Diss., 2008

Zugl.: Aachen, Techn. Hochsch., Diss., 2000.

Thesis (M.E.)--University of Florida, 2001. / Title from first page of PDF file. Document formatted into pages; contains xiii, 103 p.; also contains graphics. Vita. .Avi file containing movie (referred to in abstract) is missing. Includes bibliographical references (p. 101-102).

Th. 3e cycle--Électronique--Lille 1, 1979. N°: 766.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-19T00:12:43Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T03:58:17Z : No. of bitstreams: 1 146886.pdf: 7798272 bytes, checksum: a107bd1fae8900037d7d7b6e58289e22 (MD5)

Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo. / Petri net is a powerful graphical and mathematical modeling tool commonly used to project Discrete Events Systems. The increasing complexity of such systems does not allow the use of Petri net tools due to the large size of the models (many graphical elements), which is difficult to understand and analyze. Due to this fact, researchers have been made efforts to the development of new synthesis methods for Petri nets, in order to reduce the models size and become easier its use and the analysis task of the systems properties. Virtual Petri net is a new kind (extension) of Petri net, combining its best in control and representation of discrete events systems to the best of modular modeling. This king of Petri net allows to build up models of complex systems from the modules that represent its elements, linked by the virtual nodes. The present work formalizes the definition of Virtual Petri Net. Also develops an algorithm to its use in the discrete events systems and presents a procedure to link and assemble the modules in the whole model. The modular modeling makes easier the understanding and graphical visualization of the system, keeping the final model the same features of the common Petri nets.

Made available in DSpace on 2014-06-12T16:01:14Z (GMT). No. of bitstreams: 2 arquivo7236_1.pdf: 1469430 bytes, checksum: 79c9f0ce97361603b1b7be5d8525cb73 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / A globalização da economia ocorrida nas duas últimas décadas aumentou a competitividade entre as empresas e a busca pelo aumento de produtividade através da inovação tecnológica. Novas formas de comunicação e produção foram propostas, o que levou as empresas a adotar novos sistemas de produção. Todavia, a operação destes sistemas representa um grande desafio para profissionais em engenharia, ciência da computação, matemática e gerenciamento, sendo a modelagem, o controle e a análise de desempenho destes sistemas alguns dos aspectos deste desafio. As Redes de Petri (RdPs) são um modelo formal adequado para a representação de sistemas de produção por conseguir capturar aspectos inerentes a tais sistemas como concorrência, paralelismo e sincronização. Existem algumas ferramentas que usam RdPs para a modelagem de sistemas de produção, contudo estas ferramentas ou são de propósito geral, sendo adaptadas para a modelagem de sistemas produtivos, ou abordam apenas um dos aspectos dos sistemas de produção, que é a manufatura. Neste trabalho foi desenvolvido um modelo em RdPs para a modelagem e análise de sistemas de produção. Esta modelagem envolve a estrutura do produto, os recursos produtivos e o roteiro de produção. Uma ferramenta baseada nesta tecnologia foi desenvolvida, a Production Management System Tool (PMSTool) , a qual provê um ambiente de modelagem de alto nível, que possibilita a modelagem de sistemas sem a real necessidade de conhecimento em RdPs, o que se constitui em outro diferencial em relação a ferramentas similares. A PMSTool utiliza ícones para representar os elementos do sistema produtivo a ser modelado (máquinas, buffers, etc.), além de suas características principais (recursos disponíveis, tamanho de buffer, tempo de falha, tempo de recuperação, etc.). Estes ícones são mapeados automaticamente em RdPs

Orientadores: Leo Pini Magalhães, Alberto Barbosa Raposo / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T04:02:08Z (GMT). No. of bitstreams: 1 Cruz_AdailtonJoseAlvesda_D.pdf: 2075694 bytes, checksum: 3f08ec5e5787a8b5f92fc0b7990a402c (MD5) Previous issue date: 2004 / Resumo: Um dos desafios relacionados à coordenação em ambientes computacionais é a geração de estruturas para equacionar possíveis conflitos decorrentes de relacionamentos de dependências entre as atividades deste ambiente. Este trabalho apresenta uma metodologia para automatizar a geração de mecanismos de coordenação em ambientes computacionais. Estes mecanismos são gerados a partir dos comportamentos temporais especificados para as atividades executadas no ambiente. Permite-se especificar comportamentos temporais alternativos e atividades alternativas, os quais podem ser selecionados em tempo de processamento mudando assim as relações temporais entre as atividades e/ou as atividades que participam destes comportamentos. O algoritmo proposto para este fim implementa uma política de coordenação global permitindo-se que a execução de uma atividade aconteça somente quando não violar qualquer restrição temporal do ambiente. A identificação e modelagem das restrições temporais que cada atividade deve atender resultam no mecanismo de coordenação, obtido em tempo linear no número de atividades. Exploram-se as capacidades de encapsulamento e compactação das redes de Petri coloridas na modelagem dos mecanismos de coordenação sem vincular o uso da metodologia a um conhecimento prévio deste sistema formal (redes de Petri coloridas) / Abstract: One of the challenges related to the coordination of computational environments is the generation of structures to address possible conflicts related to dependences among the activities of these environments. This work presents a methodology to automate the generation of coordination mechanisms for computational environments. These mechanisms are generated from the temporal behaviors specified for the activities executed in the environment. It is possible to specify alternative temporal behaviors and alternative activities, which can be selected in processing time changing temporal relationships among the activities and/or the activities that participate in these behaviors. The algorithm proposed for this implements a global coordination policy, allowing that the execution of an activity only occurs when this doesn't violate any temporal restriction of the environment. The identification and modeling of the temporal restrictions that each activity should satisfy result in the coordination mechanism, obtained in linear time in the number of activities. The modular and compacting capacities of colored Petri nets are explored in the modeling of the coordination mechanisms without connecting the use of the methodology to a previous knowledge of this formal system (colored Petri nets) / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica