Moecke, Marcos, and Jean Marie Farines.
" Á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 VI Simpósio Brasileiro de Engenharia de Software,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.157-170.