Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T17:53:10Z No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T17:53:10Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-04-25 / A adoção da Gestão de Processos de Negócios vem crescendo nos mais diversos tipos de instituições em geral, nos últimos anos, principalmente a partir da criação da BPMN como ferramenta gráfica para o desenho dos processos. A BPMN (Business Process Model and Notation) se destaca dentre várias notações pela sua simplicidade e facilidade de entendimento. Apesar da sua força como notação gráfica, a BPMN carece de um formalismo matemático que possa avaliar a eficiência de um determinado fluxo de processo. Por outro lado as redes de Petri como uma notação madura, com forte formalismo matemático, de larga aceitação na descrição de sistemas discretos e bastante popular no meio acadêmico mas pouco conhecida e utilizada entre as pessoas de negócios, não só tem uma notação gráfica eficiente como possui várias formas de avaliação formal de desempenho dos grafos criados. O presente trabalho vem juntar-se a várias iniciativas de unir essas duas notações para tentar obter o melhor que ambas oferecem, ou seja para ter em mãos tanto a facilidade de uso e entendimento da BPMN quanto o formalismo matemático e simplicidade gráfica das Redes de Petri. Para isso é apresentado um modelo de transformação e seu respectivo protótipo capaz de transformar um diagrama BPMN para o seu equivalente em um diagrama baseado em redes de Petri, mais especificamente uma GSPN (Generalized Stochastic Petri Net), permitindo, dessa forma que avaliações de correção e análise de desempenho específicos das redes resultantes sejam aplicados ao processo transformado.

Made available in DSpace on 2014-06-12T15:52:35Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Ao longo dos últimos anos, a confiabilidade e a disponibilidade tornaram-se fatores cru- ciais para projetar sistemas computacionais, especialmente aqueles tolerantes a falhas. Em tais sistemas, componentes redundantes s~ao adicionados para que um sistema con- tinue a funcionar ininterruptamente, apesar da ocorrência de falhas. Algumas técnicas conhecidas operam com módulos reservas, são eles: hot standby, cold standby e TMR (Triple Modular Redundancy). A tolerância a falhas é alcançada a partir da junção des- sas técnicas por meio de um mecanismo de detecção de falha. Geralmente, falhas podem reduzir o desempenho dos sistemas, prolongar o tempo de parada ou levar o sistema a executar uma medida defensiva. Um importante exemplo de sistemas que necessitam de alta con¯abilidade, e que ainda n~ao t^em atra¶³do muita atenção na literatura, são os sistemas de transcorrência eletrônica de fundos (TEF). Os sistemas TEF, permitem aos clientes efetuar transações eletrônicas através de cartões de crédito, de débito ou ordem de pagamento. Organizações que provém TEF são pressionadas pelos clientes a oferecer serviços confiáveis, com alta disponibilidade e segurança a pre»cos acessíveis, isso porque, a indisponibilidade de um serviço contratado pode levar a sérios prejuízos econômicos. O crescimento dos pagamentos eletrônicos aumentou a importância para alcan»car bons níveis de desempenho nos servidores TEF. Com o aumento dos servi»cos de pagamento, cresce também o mercado TEF, exigindo cada vez mais que empresas, por exemplo, lojas, bancos ou restaurantes, ofere»cam serviços confiáveis, de altas disponibilidade e segurança a custos acessíveis. Dessa forma, este trabalho prop~oe um modelo em redes de Petri estocástica para avaliar o impacto da disponibilidade e da con¯abilidade dos recursos computacionais. Além disso, uma metodologia de avalia»c~ao de desempenho é proposta, com o intuito de auxiliar os processos de modelagem e de avaliação. Por fim, estudos de caso serão apresentados mostrando a aplicabilidade do trabalho em comento

Made available in DSpace on 2014-06-12T16:00:27Z (GMT). No. of bitstreams: 2 arquivo6667_1.pdf: 4486220 bytes, checksum: 12f9d7ae524dfef9c8c996536bd139ef (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / O gerenciamento da cadeia de suprimentos é uma atividade de suma importância para o sucesso de empresas de manufatura. Dentre outras atividades, destacam-se o controle de estoques e da distribuição dos produtos acabados. Apenas esta última pode ser respon- sável por mais de 50% dos custos logísticos totais. A avaliação de desempenho da cadeia de suprimentos é determinante para que se possa otimizá-la, reduzindo os custos e me- lhorando a qualidade de serviço (QoS). Este trabalho propõe a utilização de componentes pré-definidos com Generalized Stochastic Petri Nets (GSPN), permitindo a modelagem de diferentes cenários que permitam avaliar a utilização de frota, controle de estoques e índices de QoS. O processo de modelagem do cenário global adota uma abordagem bottom-up através da composição destes modelos pré-definidos. Uma metodologia para a avaliação de desempenho das cadeias de suprimento é proposta em conjunto com a ferra- menta Stochastic Logistics Optimizer Tool (SLOT), com o intuito de auxiliar os processos de modelagem e avaliação. Assim, a partir de um processo de modelagem, baseado em modelos de alto nível, obtém-se de maneira automatizada uma GSPN que pode ser uti- lizada para avaliar a cadeia de suprimentos modelada. Por fim, são apresentados alguns estudos de caso. O primeiro foi realizado com o intuito de validar os modelos propostos através da modelagem e avaliação do Jogo da Cerveja. Em seguida, apresenta-se alguns estudos de caso realizados na São Mateus Frigorífico, uma indústria de embutidos que atua no norte-nordeste brasileiro

No / Security mechanisms, such as encryption and authentication protocols, require extra computing resources and therefore, have an adverse effect upon the performance of robotic mobile wireless ad hoc networks (RANETs). Thus, an optimal performance and security trade-off should be one of the main aspects that should be taken into consideration during the design, development, tuning and upgrading of such networks. In this context, an exposition is initially undertaken on the applicability of Petri nets (PNs) and queueing networks (QNs) in conjunction with their generalisations and hybrid integrations as robust quantitative modelling tools for the performance analysis of discrete flow systems, such as computer systems, communication networks and manufacturing systems. To overcome some of the inherent limitations of these models, a novel hybrid modelling framework is explored for the quantitative evaluation of RANETs, where each robotic node is represented by an abstract open hybrid G-GSPN_QN model with head-of-line priorities, subject to combined performance and security metrics (CPSMs). The proposed model focuses on security processing and state-based control and it is based on an open generalised stochastic PN (GSPN) with a gated multi-class 'On-Off' traffic and mobility model. Moreover, it employs a power consumption model and is linked in tandem with an arbitrary QN consisting of finite capacity channel queues with blocking for 'intra' robot component-to-component communication and 'inter' robot-to-robot transmission. Conclusions and future research directions are included.