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