Colored Petri Nets
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. RepositÃrio Web para compartilhamento, reuso, versionamento e evoluÃÃo de conteÃdos binÃrios: modelagem e anÃlise por Redes de Petri coloridas / Web Repository for sharing, reuse, versioning and evolution of binary content: modeling and analysis by colored Petri nets
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 ins
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
2. Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida. / A procedure for modelling the control system in intelligent buildings based on colored Petri nets.
Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/08/2011
-
3. Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas. / Conversion from colored Petri nets into Markov decision processes with imprecise probabilities.
The present work was motivated by the need to consider stochastic behavior when planning the production mix in a manufacturing system. These systems are exposed to stochastic behavior that is usually not considered during production planning. The main goal of this work was to obtain a method to model manufacturing systems and to represent their stochastic be
Publicado em: 2010
-
4. Controle supervisÃrio da cadeia produtiva do biodiesel da mamona baseado em redes de Petri / Supervisory control of castor bean biodiesel suppy chain based on Petri nets
Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the cas
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/09/2009
-
5. 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
-
6. 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
-
7. Diagnóstico de Faltas em Sistemas Elétricos baseado em Redes de Petri Coloridas e Técnicas de Sistemas Especialistas / Fault Diagnosis on Electric Systems, Based on Colored Petri Nets and Expert Systems Techniques
Quando o sistema elétrico experimenta qualquer distúrbio uma avalanche de alarmes é reportada ao Centro de Operação do Sistema (COS) dificultando ao operador na identificação da causa do distúrbio. O grande volume de informações disponibilizado pelos sistemas supervisórios em condição de falta no sistema elétrico é de pouco valor se não possi
Publicado em: 2007
-
8. Analysis of performance of protocol CAN for agricultural field application using coloured Petri net / Análise de desempenho do protocolo CAN para aplicação na área agrícola utilizando redes de Petri coloridas
Intemational and national research institutions and companies have focused efforts to develop and promote the implementation of the international standard ISO 11783, based upon the digital communication protocol CAN (Controller Area Network), in order to integrate devices in machines and agricultural implements. Therefore, it is presented the development and
Publicado em: 2007
-
9. Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionais
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 f
Publicado em: 2004
-
10. Quantitative methods for management decisions in flight test campaigns for aeronautical certification.
Aircraft development process is characterized by high complexity and ever-decreasing lead times throughout for shortening time-to-market as an outcome.Development delays experienced in single systems, systems integration and the occurrence of design oscillations (design non compliances identified during flight tests that demand re-design and new test campaig
Publicado em: 2003
-
11. Avaliação de arquiteturas de comando : aplicação a um sistema automatizado de produção industrial
The design phase of Automatic Manufacturing Systems comprises many different tasks and among them stands the design of a control architecture. Actually for highly distributed control systems the choice for a specific architecture has great impact on the overall system s life cyc1e. In such cases the designer has to propose early enough in the system s design
Publicado em: 2000
-
12. A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO / UM ESTUDO SOBRE REDES DE PETRI COLORIDAS E UM PROGRAMA DE ANÁLISE DE REDES DE PETRI COLORIDAS: ANARCO
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 c
Publicado em: 1987