WatchBot: A building maintenance and surveillance system based on autonomous robots. - Joaquín López; Diego Pérez Losada; Enrique Paz; Alejandro Santana-Alonso (Robotics Auton. Syst., 2013)

Formal Verification for Task Description Languages. A Petri Net Approach. - Joaquín López; Alejandro Santana-Alonso; Miguel Díaz-Cacho (Sensors, 2019)

Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN). - Joaquín López; Alejandro Santana-Alonso; Diego Pérez Losada (IEEE Access, 2022)