Petri Nets
Mostrando 25-36 de 83 artigos, teses e dissertações.
-
25. Dataflow in colored Petri nets and in actors-oriented workflow graphs / Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
Three decades ago, business information systems were designed to support the execution of individual tasks. Todays information systems also need to support the organizational workflows and business processes. In scientific communities composed by physicists, astronomers, biologists, geologists, among others, information systems have different characteristics
Publicado em: 2008
-
26. Air conditioning control systems modelling using Petri nets. / Modelagem de sistema de controle de ar condicionado baseado em redes de Petri.
Among the trends of rational use of resources, especially energy, and the need to ensure productivity and quality in the implementation of productive activities, there is the concept of intelligent building. This environment materializes the concept of integrating building systems, powering the optimization of resources and the efficiency of human labor. In
Publicado em: 2008
-
27. Systemic modeling of industrial processes continuous improvement through Six Sigma method and Petri nets. / Modelagem sistêmica do processo de melhoria contínua de processos industriais utilizando o método seis sigma e redes de Petri.
The globalization strengthens the necessity for companies to improve its processes and products in order to remains competitive and to attend expectations of a dynamic market and shareholders each time more demanding and eager to maximize their profits. The continuous improvement mentioned above, is not related only to the quality perceived by the final cons
Publicado em: 2008
-
28. Modeling and performance analysis of flexible manufacturing systems using timed Petri nets: case study in automobilistic industry. / Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.
A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo.
Publicado em: 2008
-
29. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença / Association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence
A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona a habilidade de manipular a realidade física remotamente em tempo real, através de sua representação virtual. Através da tecnologia de realidade virtual, pode-se criar uma grande dive
Publicado em: 2008
-
30. Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri
O mercado de software está a cada dia se aprimorando, trazendo consigo novas ferramentas e novas formas de se administrar empresas. Com foco centrado no Processo de Desenvolvimento de Software (PDS), principalmente no que tange a sua estrutura e ao seu fluxo funcional, observam-se lacunas, que tendem a retardar e a prejudicar a liberação do software. Tais
Publicado em: 2008
-
31. LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina / Lemma 2000 – A language for analysing and representing protocols for diagnoses in medicine
A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utiliz
Publicado em: 2008
-
32. Projeto de sistemas modulares de controle para sistemas produtivos. / Project of modular control systems for production systems.
A competição no mercado globalizado, do ponto de vista do consumidor, aumentou consideravelmente a oferta de produtos e serviços, permitindo a escolha pela qualidade, preço, prazos e/ou disponibilidade. Entretanto, do ponto de vista das empresas, o desafio de atuar em um mercado saturado, dinâmico, competitivo e com aumento da demanda de produção orie
Publicado em: 2008
-
33. Modelo de autenticaÃÃo e autorizaÃÃo baseado em certificados de atributos para controle de acesso de aplicaÃÃes em ambiente distribuÃdo utilizando redes de petri coloridas / Model of authentical and authorization based on certifyd of attributes for control of acess of applicationa in distributd environment using coloured petri nets
Devido Ãs crescentes ameaÃas inerentes aos sistemas de informaÃÃo, o uso de mecanismos de autenticaÃÃo e autorizaÃÃo baseados em identificador de usuÃrio e senha nÃo à mais suficiente para garantir a seguranÃa das informaÃÃes. Este trabalho propÃe um novo modelo de autenticaÃÃo e autorizaÃÃo para controle de acesso de aplicaÃÃes distribu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/08/2007
-
34. Uma abordagem híbrida para o controle de sistemas de manufatura baseada na teoria de controle supervisorio e nas redes de Petri coloridas
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 modular approach, are used for treating safety and sequence related requirements. Colored Petri Nets are use
Publicado em: 2007
-
35. Workflow modelling within selected departments of the public administration focused on the regional office
E-government means more likely transformation in nature, affecting the management of human, technological and organisational resources processes. Some authorities state that an integrated process model should make it easy to identify possible ways for improvement. Instruments like Petri-Nets can be suitable for partial solutions in public administration. The
JISTEM - Journal of Information Systems and Technology Management. Publicado em: 2007
-
36. Automatic dependent surveillance on air traffic control: risk assessment based on fluid stochastic Petri nets modeling. / Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.
In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied
Publicado em: 2007