J. R. Núñez-Alvarez, I. Benítez-Pina, G. Acosta-Montoya, A. Pino-Escalona, and L. Villafuela-Loperena, “Design of an Integrated Automation & Control System Using Petri Nets: Case Study”, JART, vol. 21, no. 2, pp. 169–180, Apr. 2023.