Coloured Petri Net
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Um modelo de controle formal para o gerenciamento de riscos de projeto de software
Este trabalho de pesquisa propõe o projeto e desenvolvimento de um Modelo de Controle Formal (MCF) que propicie gerenciar riscos de projeto de software. Visa prover ao Gestor de Projetos, um mecanismo para identificar e controlar riscos que possam impactar negativamente nos objetivos do projeto, facilitando a tomada de decisão. O MCF desenvolvido contempla
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/05/2012
-
2. 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
-
3. 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
-
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