Seguir
Ulises Martinez
Ulises Martinez
Ex-estudiante de maestría, Centro de Investigación y de Estudios Avanzados
Dirección de correo verificada de gdl.cinvestav.mx
Título
Citado por
Citado por
Año
A CTL model repair method for Petri Nets
U Martínez-Araiza, E López-Mellado
2014 World Automation Congress (WAC), 654-659, 2014
102014
CTL model repair for inter-organizational business processes modelled as oWFN
U Martinez-Araiza, E López-Mellado
IFAC-PapersOnLine 49 (2), 6-11, 2016
92016
CTL Model Repair for Bounded and Deadlock Free Petri Nets
U Martinez-Araiza, E Lopez-Mellado
5th IFAC International Workshop on Dependable control of Discrete Systems 1 (1), 2015
62015
Reparación de redes de Petri para satisfacer propiedades en CTL
U Martínez Araiza
Tesis (MC)--Centro de Investigación y de Estudios Avanzados del IPN Unidad …, 2014
2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4