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>Proceedings of the 6th Brazilian Symposium on Software Engineering,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.157-170.