Abstract

PERES, Leticia Mara; KUNZLE, Luis Allan  and  TODT, Eduardo. Aplicação da análise global de redes de Petri temporais no contexto de software embarcado. Sba Controle & Automação [online]. 2011, vol.22, n.6, pp. 610-619. ISSN 0103-1759.  http://dx.doi.org/10.1590/S0103-17592011000600006.

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 global. Além da construção deste grafo de classes propomos uma análise de escalonabilidade do tipo temporal quantitativa para políticas de prioridade fixa e earliest deadline first (EDF). Propomos que a análise de cenários, ou a duração de itinerários de comportamento, de um sistema pode ser feita usando esta técnica.

Keywords : Rede de Petri Temporal; Análise Quantitativa; Software Embarcado.