Moecke, M., & 		Farines, J.
1992 nov  4.  Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :