Ulises Martinez

Ulises Martinez

Centro de Investigación y de Estudios Avanzados del IPN CINVESTAV - Gustavo A. Madero / Mexico
Others
AD Scientific Index ID: 5758435
Centre for Research and Advanced Studies of the IPN CINVESTAV
person_outline Ulises Martinez's MOST POPULAR ARTICLES
1-) A CTL model repair method for Petri NetsU Martínez-Araiza, E López-Mellado2014 World Automation Congress (WAC), 654-659, 2014102014
2-) CTL model repair for inter-organizational business processes modelled as oWFNU Martinez-Araiza, E López-MelladoIFAC-PapersOnLine 49 (2), 6-11, 201682016
3-) CTL Model Repair for Bounded and Deadlock Free Petri NetsU Martinez-Araiza, E Lopez-Mellado5th IFAC International Workshop on Dependable control of Discrete Systems 1 (1), 201562015
4-) Reparación de redes de Petri para satisfacer propiedades en CTLU Martínez AraizaTesis (MC)--Centro de Investigación y de Estudios Avanzados del IPN Unidad …, 20142014