Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 67-70 / Atualmente, com o mercado extremamente competitivo, as empresas buscam um aperfeiçoamento em seu processo produtivo, para manter-se no mercado. Este trabalho analisa a eficiência global de equipamentos (OEE) envolvidos dentro do processo de produção, visa / Abstract: Nowadays, with the competitiveness of the market, companies are looking for improvements in his productive process to be alive in the market. This work analyze the overall equipment efficiency (OEE) of the equipments involved in the productive p

Bibliografia: f. [95]-102 / Para se adequar aos novos cenários impostos as organizações precisaram rever as suas medidas de desempenho, tradicionalmente financeiras. Tal necessidade de adaptação demanda, até hoje, por trabalhos que indiquem como medir o desempenho das firmas. Além d / Adapting to new economic scenarios requires organizations to review their traditional performance measures. It demands, up to date, work to indicate how to measure the performance of firms. In addition, new methodologies have being developed for simulatin

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 89-95 / Este trabalho apresenta uma propost de concepção e análise de um sistema de gestão de controle acadêmico numa instituição de ensino superior. Uma metodologia de desenvolvimento fundado em métodos formais oriundos da área de Sistemas a Eventos Discretos (S

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 67-71 / Para que as organizações possuam um melhor conhecimento e gerenciamento de seu negócio é apresentado neste trabalho, o desenvolvimento de uma modelagem baseada em formalismos oriundos das Redes de Petri (RdP). A descrição do conhecimento da empresa atravé / In order to improve the knowledge acquirement and corporations management skills. This work presents the development of a modeling methodology based on the formalisms issue from discrete events systems. The description of the company's knowledge through f

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: f.125-130 / Dificuldades operacionais, financeiras e estruturais rondam empresas varejistas constantemente, pois no setor existe alta concorrência. Neste contexto, falhas processuais ou tomadas de decisão erradas podem auxiliar no desequilíbrio do resultado empresari / Operational, financial and structural difficulties haunt the retail companies all the time, because in this sector there is high competition. In this context, procedural flaws, may affect the balance of the operational results, even having no strong varia

FURTADO JÚNIOR, C. G. Repositório web para compartilhamento, reuso, versionamento e evolução de conteúdos binários : modelagem e análise por Redes de Petri coloridas. 2011. 149 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 2012-01-24T18:59:46Z No. of bitstreams: 1 2011_dis_cgfurtadojunior.pdf: 8625571 bytes, checksum: f577746d0f88ba98e57773c1b39290ee (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2012-01-24T19:00:13Z (GMT) No. of bitstreams: 1 2011_dis_cgfurtadojunior.pdf: 8625571 bytes, checksum: f577746d0f88ba98e57773c1b39290ee (MD5) / Made available in DSpace on 2012-01-24T19:00:13Z (GMT). No. of bitstreams: 1 2011_dis_cgfurtadojunior.pdf: 8625571 bytes, checksum: f577746d0f88ba98e57773c1b39290ee (MD5) Previous issue date: 2011-12 / The free availability of digital content has fairly increased on the Web. Many of these contents can be modified, reused and adapted for specific purposes. Although diferent resources for providing and storing contents are widely available, there is a lack of tools suitable to versioning control of binary content on the Internet. In addition, most solutions to persistent data on the Web are based on Relational DataBase (RDB). As a simple solution, we can modify the original data and store new records in the tables of a database. However, this leads to a possible ineficiency due to a potentially large amount of redundant information. Nevertheless, in order to overcome this issue, it is possible to adapt versioning tools, also known as Control Version System (CVS), to the solution. These tools are specialized in storage of the modified regions of documents. This process is known as "deltification". However, regarding access time and gathering data, a CVS is less eficient than a DataBase Management System (DBMS). Therefore, if a CVS is used as a solution for data persistence, this can reduce the overall performance of the application. Aiming at designing a repository of versioned binary content on the Web, with eficient management for both accessing and storing binary data, this work analyzes the performance of free DBMSs most frequently used and a CVS, which we consider being the most suitable to the addressed repository. The attained results were the basis for the specification of thearchitecture of a repository that relies on a hybrid approach. The resulting approach lies in the simultaneous use of a DBMS and a CVS. We took into account features and runtime performance of both tools for each operation required in the final application. Then, we designed models on colored Petri Nets, which allowed the simulation and analysis of the aimed architecture. As a result, we present the e ciency of the proposed architecture against a traditional storage approach. / A livre disponibilização de conteúdos digitais vem crescendo de maneira expressiva na Web. Muitos desses conteúdos podem ser modificados, reutilizados e adaptados para propósitos específicos. Embora muitos recursos para armazenamento e disponibilização de conteúdos sejam bastante difundidos, não se percebem na Internet repositórios que possuam instrumentos apropriados para o controle de versões de conteúdo binário (CB). A maioria das soluções encontradas para a persistência de dados na Web é baseada em Bancos de Dados Relacionais (BDR). A simples adição de modificações aos dados originais e armazenamento em novos registros de tabelas em um BD pode ser ineficiente devido a uma quantidade potencialmente grande de informações redundantes. É possível, para este fim, adaptar ferramentas de versionamento conhecidas por Sistemas de Controle de Versão (SCV), ferramentas especializadas no armazenamento de regiões modificadas de documentos. Entretanto, um SCV é menos eficiente do que os Sistemas Gerenciadores de Bancos de Dados (SGBD) em tempo de acesso e recuperação de informaações, o que pode comprometer o desempenho da aplicação, caso seja adotado como solução para a persistência de dados. Visando conceber um repositório de CBs versionados na Web, com gestão eficiente tanto para o acesso como para o armazenamento de CBs, neste trabalho é analisado o desempenho dos SGBDs gratuitos mais utilizados na atualidade e de um SVC que se revelou o mais adequado ao escopo deste trabalho. Os resultados obtidos serviram de base para a especificação da arquitetura de um repositório que se apoia em uma abordagem híbrida, com o uso simultâneo de um SGBD e um SVC. Em seguida, foi realizada a modelagem por Redes de Petri coloridas, o que permitiu a simulação e a análise da arquitetura concebida, demonstrando-se a maior eficiência da arquitetura proposta em relação a uma abordagem de armazenamento tradicional.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / 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. / 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.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 60-64 / Este trabalho apresenta uma proposta de uma arquitetura híbrida de controle para sistemas flexíveis de manufatura. Essa arquitetura é baseada em dois formalismos: a Teoria de Controle Supervisório e as Redes de Petri Coloridas. A Teoria de Controle Superv / Abstract: This paper presents a hybrid control approach for flexible manufacturing systems. The architecture is based on two formalisms: Supervisory Control Theory and Colored Petri Nets. Supervisory Control Theory and one of its extensions, the local mod

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f. 174-179 / As empresas, atualmente, estão submetidas a um ambiente com profundas transformações econômicas, políticas, tecnológicas, sociais, comerciais, ambientais e a um mercado altamente competitivo com consumidores cada vez mais exigentes. A análise do gerenciam / Currently, companies are going through deep economic, political, technological, social, commercial and environmental transformations. As well, they operate in a highly competitive market with more and more demanding consumers. The analysis of productive s

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-01-23T11:30:38Z No. of bitstreams: 1 Carla Marye Bicas Ferrari.pdf: 1256058 bytes, checksum: e934053679a57fcb66d337b275093865 (MD5) / Made available in DSpace on 2018-01-23T11:30:38Z (GMT). No. of bitstreams: 1 Carla Marye Bicas Ferrari.pdf: 1256058 bytes, checksum: e934053679a57fcb66d337b275093865 (MD5) Previous issue date: 2017-09-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this research is to design a grammar that recognizes an educational text written in the narrative structure OCC-RDD and from its own generated a Petri Net model, in order to be possible analyzed and interpreted as network property on the educational history. The research will start with a bibliographic research from which a grammar and other components of this research are prepared, whose main objective is to advice the teacher on the class preparation which uses the narrative structure. A text following the narrative model in order to use it on the tool will be prepared and the same will go through each step of the research, which are: recognition of the fable, creation of the Petri Net model, network analysis and production of the results of fable’s analysis. The result of this project is the fable recognition grammar that can be used in a special tool with anexample and the analysis of the properties of this example / O objetivo da pesquisa é projetar uma gramática que reconheça um texto educativo escrito na estrutura da narrativa OCC-RDD e que a partir dela seja gerada um modelo de Rede de Petri, a fim de que seja possível analisar e interpretar as propriedades da rede na história educacional. A pesquisa terá início com um trabalho de consultas bibliográficas a partir do qual será preparada uma gramática e os outros componentes da pesquisa que possuem como principal objetivo auxiliar o professor na preparação de uma aula que utilize a estrutura narrativa. Um texto seguindo o modelo da narrativa com o intuito de utilizá-lo na ferramenta será preparado e o mesmo passará por cada etapa da pesquisa, que são: reconhecimento da fábula, criação do modelo de rede de Petri, análise da rede e produção dos resultados de análise da fábula. O resultado do trabalho ´e a gramática de reconhecimento de fábula que poderá ser utilizada numa ferramenta junto com um exemplo e a análise das propriedades deste exemplo