F. Lino and A. Sztajnberg.
" Analisador e Simulador de Redes de Petri", in <em>Anais do IV Workshop de Sistemas Operacionais</em>, Rio de Janeiro/RJ, 2007, pp. 898-903.