K. Ojo, Y. González, E. E. Cano, y C. A. Rovetto, Modelado del funcionamiento de un dispositivo para el control de la asistencia estudiantil mediante Redes de Petri Coloreadas, congresoutp, vol. 1, n.º 1, pp. 13-20, ago. 2018.