%0 Thesis
%T Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
%U https://tede.ufam.edu.br/handle/tede/8490
%I Universidade Federal do Amazonas