Lima, J. W. S. de; Pontual Falcão, T.; Andrade, E. Desenvolvimento E Avaliação De Uma Ferramenta Interativa Baseada Em Exemplos Para O Aprendizado De Modelagem De Sistemas Usando Redes De Petri. RBIE 2021, 29, 1232-1261.