Coloured Petri Nets
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
2. Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
Um Sistema Flexível de Manufatura é um sistema de produção onde mais de um evento pode ocorrer ao mesmo tempo de forma paralela, assíncrona ou de forma concorrente. Estes foram projetados para atender às necessidades do mercado, que demanda por melhor qualidade dos produtos, redução de custos e prazos de entrega menores. Devido à complexidade e à f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/06/2010
-
3. 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
-
4. Risk analysis of the airborne time-based spacing operation through a stochastically and dinamiclly coloured Petri net model. / Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
The safety in the airspace can considerably increase with the use of airborne spacing and separation operations. Under this paradigm, the task of maintaining a safe distance between aircraft is delegated to the pilots, which will be supported by the Airborne Separation Assistance System (ASAS). With this system, which is still in experimental phase, pilots b
Publicado em: 2007
-
5. 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
-
6. Estimativa do consumo de energia devido ao software: uma abordagem baseada em redes de Petri coloridas
Esta tese tem seu foco na anÃlise do consumo de energia de microprocessadores no contexto dos sistemas embutidos. Para tanto, sÃo propostos dois modelos para simulaÃÃo e anÃlise. Tais modelos operam com base na descriÃÃo do conjunto de instruÃÃes da arquitetura alvo em redes de Petri coloridas. O primeiro modelo aplica as redes de Petri coloridas pa
Publicado em: 2006
-
7. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
This work presents a technique of formal verication of Procedural Reasoning System - PRS, a programming language that uses the procedural reasoning approach. This technique is based on the use of conversion rules between PRS programs and Coloured Petri Nets (CPNs). To this end, conversion rules of a subgroup of the majority of the syntax used in language PRS
Publicado em: 2005
-
8. The application of mutation testing in the context of testing and validation of coloured Petri nets / Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found
Publicado em: 2004