Marcos Moecke, 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. In Daltro José Nunes, Ana Maria de Alencar Price, Loreta Scheuer de O. Ramos, editors, Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992. pages 157-170, SBC, 1992. [doi]
Abstract is missing.