L. Ventre, O. Micolini, y A. Micolini, Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación, JAIIO, vol. 9, n.º 11, pp. 19-22, jul. 2023.