Follow
Ulises Martinez
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4