Felipe Lino and Alexandre Sztajnberg. 2007. Analisador e Simulador de Redes de Petri. In Anais do IV Workshop de Sistemas Operacionais, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 898-903.