Moecke, Marcos, E 		Farines, Jean.
" Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (4 novembro 1992)