Moecke, M., & 		Farines, J.
(1992).
 Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise.
In <em>Anais do VI Simpósio Brasileiro de Engenharia de Software</em>, (pp. 157-170). Porto Alegre: SBC.
doi:10.5753/sbes.1992.25181