A complete cycle for controller design in discrete event systems. - Alejandra Santoyo-Sanchez; I. Jiménez-Ochoa; Antonio Ramírez-Treviño (SMC, 2001)

Implementing BDI agents using Petri nets. - I. Jiménez-Ochoa; Ofelia Begovich; Antonio Ramírez-Treviño; Luis Isidro Aguirre-Salas (SMC, 2003)

Fault detection and location in DES using Petri nets. - Elvia Ruiz-Beltrán; I. Jiménez-Ochoa; Antonio Ramírez-Treviño; Ernesto López-Mellado; Maria Elena Meda-Campaña (SMC, 2005)