Lino, F., & 		Sztajnberg, A.
(2007).
 Analisador e Simulador de Redes de Petri.
In <em>Anais do IV Workshop de Sistemas Operacionais</em>, (pp. 898-903). Porto Alegre: SBC.