LINO, Felipe G. de Oliveira; 						SZTAJNBERG, Alexandre.
 Analisador e Simulador de Redes de Petri. <em>In</em>: WORKSHOP DE SISTEMAS OPERACIONAIS (WSO), 4.	, 2007, Rio de Janeiro/RJ.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2007
.
 p. 898-903.