| 2009 | ETFA | Sequence-detectability Analysis of Interpreted Petri Nets under Partial State Observations. | Luis I. Aguirre-Salas, Alejandra Santoyo-Sanchez |
| 2008 | ETFA | Observability analysis of interpreted Petri nets under partial state observations using estimations reachability graph. | Luis I. Aguirre-Salas, Alejandra Santoyo-Sanchez |
| 2008 | ETFA | Fault diagnosis of electrical systems using Interpreted Petri nets. | Alejandra Santoyo-Sanchez, Elvia Ruiz-Beltrn, Luis I. Aguirre-Salas, Victor H. Ortiz-Muro |
| 2008 | ETFA | Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets. | Alejandra Santoyo-Sanchez, Antonio Ramrez-Trevio, Carlos De Jesus-Vlasquez, Luis I. Aguirre-Salas |
| 2007 | ACC | Design of Bicolored Observers for Interpreted Petri Nets. | Luis I. Aguirre-Salas, Jorge Pelayo-Lopez, Alejandra Santoyo-Sanchez |
| 2004 | SMC | Multiple specification regulation control in interpreted Petri nets. | Jesus F. Snchez-Blanco, Antonio Ramrez-Trevio, Alejandra Santoyo-Sanchez |
| 2004 | SMC | Regulation control in interpreted Petri nets using trace equivalence. | Jesus F. Snchez-Blanco, Antonio Ramrez-Trevio, Alejandra Santoyo-Sanchez |
| 2001 | SMC | A complete cycle for controller design in discrete event systems. | Alejandra Santoyo-Sanchez, I. Jimnez-Ochoa, Antonio Ramrez-Trevio |
| 2000 | SMC | Regulation problem in discrete event systems using interpreted Petri nets. | Guillermo Ramrez-Prado, Alejandra Santoyo-Sanchez, Antonio Ramrez-Trevio, Ofelia Begovich |