Redes De Petri Temporais
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Aplicação da análise global de redes de Petri temporais no contexto de software embarcado
Redes de Petri e suas propriedades algébricas são usadas para modelar e analisar sistemas envolvendo paralelismo, concorrência e sincronização. Este artigo apresenta uma aplicação da técnica de Tempo Global (GTT - global time technique) que é uma abordagem para construir grafos de classes de redes de Petri temporais baseada nos tempos relativo e glo
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2011-12
-
2. Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri / Temporal modeling of information systems: a Petri net based approach
Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Es
Publicado em: 2010
-
3. Software synthesis for energy-constrained hard real-time embedded systems
A grande expansão do mercado de dispositivos digitais tem forçado empresas desenvolvedoras de sistemas embarcados em lidar com diversos desafios para prover sistemas complexos nesse nicho de mercado. Um dos desafios prominentes está relacionado ao consumo de energia, principalmente, devido aos seguintes fatores: (i) mobilidade; (ii) problemas ambientais;
Publicado em: 2009
-
4. Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais
As redes de Petri temporais são uma das extensões das redes de Petri convencionais para modelagem e análise de sistemas a eventos discretos temporizados. A cada transição da rede é associado um intervalo de tempo, o qual delimita o instante de disparo da transição. A análise das redes de Petri temporais tem sido feita por métodos enumerativos que r
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2008-12
-
5. Modelagem e construção de mecanismos de coordenação em ambientes computacionais / Modeling and construction of coordination mechanism in computational environment
Este trabalho aborda o problema da coordenação de atividades interdependentes em processos computacionais. As interdependências entre atividades podem ser temporais, de recursos, de bloqueio e de mútua exclusão, entre outras. Exemplos de processos computacionais com atividades interdependentes são ambientes multimídias, ferramentas de suporte ao traba
Publicado em: 2007
-
6. A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors / A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors
Atualmente, sistemas embarcados sÃo ubÃquos. Em outras palavras, eles estÃo em todos os lugares. Desde utilitÃrios domÃsticos (ex: fornos microondas, refrigeradores, videocassetes, mÃquinas de fax, mÃquinas de lavar roupa, alarmes) atà equipamentos militares (ex: mÃsseis guiados, satÃlites espiÃes, sondas espaciais, aeronaves), nÃs podemos encont
Publicado em: 2006
-
7. AvaliaÃÃo de desempenho do serviÃo de controle de concorrÃncia usando Redes de Petri EstocÃstica
O processo de avaliaÃÃo de desempenho pode ser implementado atravÃs de diversos mÃtodos: mediÃÃo que à processo de coleta de informaÃÃes de um sistema real; simulaÃÃo computacional e modelos analÃticos que capturam o comportamento temporal de um sistema atravÃs de uma representaÃÃo matemÃtica. A avaliaÃÃo baseada em modelos possibilita a an
Publicado em: 2006
-
8. Uma metodologia para escalonamento de tarefas de tempo real em arquiteturas dinamicamente reconfigurÃveis
Atualmente, os dispositivos eletrÃnicos digitais programÃveis vÃm trazendo grandes avanÃos quando na prototipaÃÃo e na implementaÃÃo de sistemas embarcados, especialmente aqueles que apresentam algum tipo de computaÃÃo embarcada. Estes dispositivos sÃo largamente utilizados em Ãreas como telecomunicaÃÃes, redes de computadores, tratamento de si
Publicado em: 2006
-
9. Modelagem de redes de transdutores inteligentes utilizando redes de Petri / Modeling of smart transducers nets using petri nets
Devido aos requerimentos temporais nos processos industriais, o objetivo à obter informaÃÃes a cerca do comportamento temporal do sistema de controle (constituÃdo por transdutores inteligentes, barramento de campo e supervisÃo local) de um processo indÃstrial, de modo a garantir o funcionamento correto. Para isso utilizamos a teoria das redes de Petri
Publicado em: 2005
-
10. Formal Modelling and Analysis of Some Functionalities of Transport Protocol through the Petri Nets. / Modelagem e Análise Formal de Algumas Funcionalidades de um Protocolo de Transporte através de Redes de Petri / Formal Modelling and Analysis of Some Functionalities of Transport Protocol through the Petri Nets. / Modelagem e Análise Formal de Algumas Funcionalidades de um Protocolo de Transporte através de Redes de Petri
Esta dissertação aplica um método formal para o estudo, modelagem e análise de algumas fucionalidades do protocolo de transporte denominado SCTP. Este protocolo vem sendo desenvolvido há mais de cinco anos pelo IETF e alcançou um nível de eficiência em funcionalidade tão grande que está sendo considerado o provável candidato para substituir o TCP.
Publicado em: 2003