1 |
Comparação de técnicas de redes de Petri na descrição de um pipeline /Martins, Cristiano Pires. January 2004 (has links)
Orientador: Aleardo Manacero Junior / Banca: Eduardo Marques / Banca: Alexandre César Rodrigues da Silva / Resumo: O projeto de sistemas digitais é, na maioria das vezes, uma tarefa complexa e que consome muito tempo do projetista. Não se concebe atualmente que esses projetos sejam inteiramente realizados sem que os sistemas projetados sejam modelados e simulados, procurando diminuir o custo de projeto. Entre as técnicas em uso para a geração de modelos estão as baseadas em redes de Petri. O problema com redes de Petri é que existe uma grande variedade de diferentes técnicas para modelar sistemas equivalentes e, além disso, o tratamento de tempo é feito de formas muito distintas. Nesse trabalho se apresentam algumas técnicas de redes de Petri que permitem o tratamento de tempo e se faz a comparação entre as mesmas quando aplicadas na modelagem de um pipeline. Dentre as técnicas examinadas está incluída uma rede híbrida, na qual se propõe a mistura não tradicional de outras técnicas mais básicas, buscando melhores resultados do que os obtidos com tais redes. Apresentam-se resultados obtidos com um protótipo de um simulador especialmente projetado para ser capaz de simular as redes de Petri híbridas propostas nesse trabalho, assim como cada uma das técnicas individuais nelas utilizadas. / Abstract: The design of a digital system often is a complex and time consuming task. Nowadays it is unconceivable that these designs would be entirely done without modeling and simulation, in order to save design costs. Among the modeling techniques in use there are the Petri nets models. The drawback with Petri nets is that there is a wide range of diferent techniques to perform the modeling of equivalent systems and, moreover, the time manipulation is performed through very distinct approaches. Some Petri net techniques that deal with time are presented in this work. Comparisons between these techniques are done through the modeling of a pipeline. Among the techniques examined there is a hybrid one, that is propposed as a composition of the basic techniques, aiming the improvement of the modeling results. Results provided by a prototype of a Petri Net simulator built to simulate the hybrid model, and its component techniques, are presented. / Mestre
|
2 |
Avaliação de desempenho de web services orquestrados com BPEL4People / Performance evaluation of web services orchestrated with BPEL4PeopleHolanda, Henrique Jorge Amorim 01 March 2012 (has links)
HOLANDA, H. J. A. Avaliação de desempenho de web services orquestrados com BPEL4People. 2012. 114 f. Tese (Doutorado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2012. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2013-04-29T12:33:34Z
No. of bitstreams: 1
2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-04-29T17:22:07Z (GMT) No. of bitstreams: 1
2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5) / Made available in DSpace on 2013-04-29T17:22:07Z (GMT). No. of bitstreams: 1
2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5)
Previous issue date: 2012-03-01 / Web Services (WS) are pillars for the construction of service-oriented applications. A number of languages for web service composition have been proposed, formed a consensus on the language of business process execution (BPEL). BPEL focuses on business processes that orchestrate WS interactions. However, in general, business processes are composed of a broad spectrum of activities that often require human involvement to perform tasks, review or approve steps and enter data. These human interactions are discussed in a new specification of BPEL called BPEL4People. BPEL4People introduces human activity to BPEL. With the use of BPEL4People, formal models (such as Petri nets) of BPEL4People have been proposed. Based on formal models is possible to perform formal analysis, such as performance analysis of models to discover potential problems with the WS orchestrated with BPEL4People. There are two dimensions important to the performance of WS: response time and scalability. The response time is the ability of a system to provide an acceptable time for their activities and scalability is the ability of a system to continue to fulfill its goals of response time when demand for it increases. Some works have been proposed about the performance analysis of WS orchestrated with BPEL. In this thesi, it is proposed an architecture called ``SOASPE' (SOA + SPE) for the transformation of the BPEL4People code in generalized stochastic Petri nets (GSPN) and colored Petri nets (CPN). Through the GSPN and CPN models of BPEL4People is possible to evaluate the performance of WS orchestrated with BPEL4People by comparing their real response times when subjected to a number of requests and response times of the GSPN and CPN models generated by the architecture ``SOASPE' when simulations with the same amount of requests. During the transformation of BPEL4People code, Petri nets are used to model BPEL activities and human activities. Then, by simulation of generated models, potential problems with the performance of WS orchestrated with BPEL4People can be detected. / Web Services (WS) são pilares para a construção de aplicações orientadas a serviços. Uma série de linguagens para a composição de serviços web têm sido propostas, sendo formado um consenso em torno da linguagem de execução de processos de negócio (BPEL). BPEL centra-se em processos de negócio que orquestram interações de WS. No entanto, em geral, processos de negócio são compostos por um amplo espectro de atividades que exigem muitas vezes a participação humana para executar tarefas, rever ou aprovar medidas e inserir dados. Essas interações humanas são abordadas em uma nova especificação do BPEL denominada de BPEL4People. BPEL4People introduz a atividade humana para BPEL. Com o uso do BPEL4People, modelos formais (como as redes de Petri) de BPEL4People têm sido propostos. Com base em modelos formais é possível a realização de análises formais, tais como análise de desempenho de modelos para descobrir possíveis problemas em WS orquestrados com o BPEL4People. Há duas dimensões importantes para o desempenho de WS: tempo de resposta e escalabilidade. O tempo de resposta é a capacidade de um sistema de prover tempos aceitáveis para suas atividades e a escalabilidade é a capacidade de um sistema de continuar a cumprir seus objetivos de tempo de resposta quando a demanda pelo mesmo aumenta. Alguns trabalhos têm sido propostos acerca da análise do desempenho de WS orquestrados com o BPEL. Nesta tese, é proposta uma arquitetura denominada ``SOASPE' (SOA + SPE) para a transformação de códigos BPEL4People em redes de Petri estocásticas generalizadas - Generalized Stochastic Petri Nets (GSPN) e redes de Petri coloridas - Coloured Petri Net (CPN). Através dos modelos GSPN e CPN de BPEL4People é possível avaliar o desempenho dos WS orquestrados com o BPEL4People através da comparação dos seus tempos de resposta reais quando submetidos a uma quantidade de requisições e dos tempos de resposta dos modelos GSPN e CPN dos WS gerados pela arquitetura ``SOASPE' quando realizadas simulações com a mesma quantidade de requisições. Durante a transformação de códigos BPEL4People, as redes de Petri são usadas para modelar atividades BPEL e as atividades humanas. Então, pela simulação dos modelos gerados, problemas potenciais com o desempenho de WS orquestrados com o BPEL4People podem ser detectados.
|
3 |
Comparação de técnicas de redes de Petri na descrição de um pipelineMartins, Cristiano Pires [UNESP] 03 March 2004 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:35Z (GMT). No. of bitstreams: 0
Previous issue date: 2004-03-03Bitstream added on 2014-06-13T18:49:39Z : No. of bitstreams: 1
martins_cp_me_ilha.pdf: 1858645 bytes, checksum: d00de31c1c7eea4b71e680fd0b1f93ff (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / O projeto de sistemas digitais é, na maioria das vezes, uma tarefa complexa e que consome muito tempo do projetista. Não se concebe atualmente que esses projetos sejam inteiramente realizados sem que os sistemas projetados sejam modelados e simulados, procurando diminuir o custo de projeto. Entre as técnicas em uso para a geração de modelos estão as baseadas em redes de Petri. O problema com redes de Petri é que existe uma grande variedade de diferentes técnicas para modelar sistemas equivalentes e, além disso, o tratamento de tempo é feito de formas muito distintas. Nesse trabalho se apresentam algumas técnicas de redes de Petri que permitem o tratamento de tempo e se faz a comparação entre as mesmas quando aplicadas na modelagem de um pipeline. Dentre as técnicas examinadas está incluída uma rede híbrida, na qual se propõe a mistura não tradicional de outras técnicas mais básicas, buscando melhores resultados do que os obtidos com tais redes. Apresentam-se resultados obtidos com um protótipo de um simulador especialmente projetado para ser capaz de simular as redes de Petri híbridas propostas nesse trabalho, assim como cada uma das técnicas individuais nelas utilizadas. / The design of a digital system often is a complex and time consuming task. Nowadays it is unconceivable that these designs would be entirely done without modeling and simulation, in order to save design costs. Among the modeling techniques in use there are the Petri nets models. The drawback with Petri nets is that there is a wide range of diferent techniques to perform the modeling of equivalent systems and, moreover, the time manipulation is performed through very distinct approaches. Some Petri net techniques that deal with time are presented in this work. Comparisons between these techniques are done through the modeling of a pipeline. Among the techniques examined there is a hybrid one, that is propposed as a composition of the basic techniques, aiming the improvement of the modeling results. Results provided by a prototype of a Petri Net simulator built to simulate the hybrid model, and its component techniques, are presented.
|
4 |
Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo realAguilera, Luiz Manoel 16 February 1989 (has links)
Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:55:18Z (GMT). No. of bitstreams: 1
Aguilera_LuizManoel_M.pdf: 8911300 bytes, checksum: 9c90f520e3ebe9300dc43c765d322d38 (MD5)
Previous issue date: 1989 / Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado / Mestrado / Mestre em Engenharia Elétrica
|
5 |
Analisador automatico de rede de Petri para validação de protocolos de comunicaçõesArantes, Magda Patricia Caldeira 19 February 1988 (has links)
Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:06:35Z (GMT). No. of bitstreams: 1
Arantes_MagdaPatriciaCaldeira_M.pdf: 9844579 bytes, checksum: e33b835a74dc5579ed46ec93e91eddbb (MD5)
Previous issue date: 1988 / Mestrado / Mestre em Engenharia Elétrica
|
6 |
Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redesScarpelli, Heloisa de Arruda Camargo 27 August 1993 (has links)
Orientador: Fernando Antonio Campos Gomide / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T14:06:55Z (GMT). No. of bitstreams: 1
Scarpelli_HeloisadeArrudaCamargo_D.pdf: 7789586 bytes, checksum: be24fbc2123951211626bb728be27c2a (MD5)
Previous issue date: 1993 / Resumo: Neste trabalho são propostos dois modelos formais para a representação de regras de produção nebulosas, como base em teoria de redes. A proposta desses modelos tem o objetivo de oferecer um mecanismo de representação onde os problemas relativos ao projeto, execução e verificação de bases de conhecimento nebulosas possam ser tratados de maneira uniforme e integrada. O modelo de Redes de Petri Nebulosas representa detalhadamente a execução da regra de inferência principal do raciocínio aproximado, chamada de regra composicional. O modelo de Redes de Petri Nebulosas de Alto Nível permite representar as regras nebulosas de um nível de abstração mais alto, gerando representações mais compactas e tratáveis. Os componentes de cada um desses dois modelos guardam uma relação bastante próxima, possibilitando que as informações sejam acessadas a partir do nível mais conveniente a cada fase do desenvolvimento de sistemas. A modelagem de vários tipos de regras como regras com múltiplos antecedentes, regras quantificadas e qualificadas, regras paralelas, regras conflitantes e fontes parciais de informação é discutida. Dois algoritmos de raciocínio aproximado são apresentados, utilizando as estratégias de encadeamento para frente e encadeamento para trás. A questão de verificação de inconsistência entre regras de produção nebulosas é discutida. Procedimentos para verificação da existência de conflitos em potencial, tanto a nível local como a nível global, são apresentados / Abstract: This work presents two formal models for the representation of fuzzy production rules, based on net theory. The proposal of the models aims at offering a mechanism where problems concerning design, execution and verification of fuzzy knowledge bases can be faced in an uniform and integrated manner. The Fuzzy Petri Net model represents in details the numerical components underlying the main inference rule in approximate reasoning, called compositional rule. The High LeveI Fuzzy Petri Net model allows to represent fuzzy rules in a higher leveI of abstraction, yielding more compact and manageable representations. The components of both systems are dosely related, allowing the accessing of information from the most convenient leveI in each phase of systems development. The modeling of several rule types like rules with multiple antecedent, quantified and qualified rules, par alIeI rules, conflicting rules and partial sources of information has been discussed. Two different fuzzy reasoning algorithms have been presented, using forward chaining and backward chaining strategies. The issue of inconsistency checking among fuzzy production rules has also been approached. Procedures for verifying the existence of potencial conflicts, both at local and globallevels are included. / Doutorado / Doutor em Engenharia Elétrica
|
7 |
[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO / [pt] UM ESTUDO SOBRE REDES DE PETRI COLORIDAS E UM PROGRAMA DE ANÁLISE DE REDES DE PETRI COLORIDAS: ANARCOGIOVANNI CORDEIRO BARROSO 18 September 2009 (has links)
[pt] A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos.
As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção das fichas nelas contidas, receberam o nome de Redes de Petri Coloridas.
Neste trabalho, são apresentados algumas propostas existentes na literatura sobre Redes de Petri Coloridas, bem como é desenvolvido um programa de análise baseado em uma dessas propostas - a de kurt Jensen.
O programa analisa as propriedades de uma Rede de Petri Colorida, tais como limitação, vitalidade e capacidade de reinicialização, através do método de enumeração de marcações. / [en] The modeling of sistems which have identical sub-systems, by means of Petri nets, leads to the generation of large scale graphs with identical components.
The extensions of Petri nets, which afford the possibility of distinguishing these sub-systems through the distinction of the tokens within the net, are called colored Petri nets.
This work presents some colored Petri net proposals existent in literature and an analysis code based on one of these proposals - the Kurt Jensen one.
This program analyses through the mark enumeration method, the colored Petri net properties, such as boundedness, liveness and reinicialization.
|
8 |
Um modelo para especificação formal de apresentações multimidia interativas /Porto, Alessandra Monteiro de Castro January 1999 (has links)
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)
|
9 |
Um ambiente de suporte à modelagem hierárquica por Redes de Petri para sistemas de produçãoJoão da Silva, Wellington January 2005 (has links)
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
|
10 |
Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionaisCruz, Adailton Jose Alves da 10 August 2004 (has links)
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
|
Page generated in 0.0394 seconds