%0 Thesis %T Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. %U http://tede.ufam.edu.br/handle/tede/2938 %I Universidade Federal do Amazonas