Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets. - Alejandra Santoyo-Sanchez; Antonio Ramírez-Treviño; Carlos De Jesus-Vélasquez; Luis I. Aguirre-Salas (ETFA, 2008)

Modeling methodology for NPC's using interpreted Petri Nets and feedback control. - Alejandra Santoyo-Sanchez; M. A. Perez-Martinez; Carlos De Jesus-Vélasquez; Luis I. Aguirre-Salas; M. A. Alvarez-Ureña (CCE, 2010)

Security in WEB Applications, Definitions, Risks and Tools. - Alejandra Santoyo-Sanchez; Redi Córdova Arbieto; Carlos De Jesus-Vélasquez (Res. Comput. Sci., 2014)