Preliminary Results of Global Time Petri Net Analysis Applied to Embedded Software Prototyping
Aplicação da Análise Global de Redes de Petri Temporais no Contexto de Software Embarcado
Applying global time Petri net analysis on the embedded software context
Sba: Controle & Automação Sociedade Brasileira de Automatica
Alan Lopes de Sousa Freitas
Eduardo Todt
Leticia Mara Peres