Search
Now showing items 1-7 of 7
Simulación de sistemas de eventos discretos temporizados modelados mediante redes de Petri con cronómetros
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2011)
Estabilidad de una clase de sistemas de eventos discretos concurrentes modelados con redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2011)
Síntesis de redes de Petri para minería de procesos basada en la inferencia de T-Invariantes
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013)
Mineria de procesos de eventos discretos :síntesis de los componentes observables de redes de petri interpretadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)
Reparación de redes de Petri para satisfacer propiedades en CTL
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)
Stability of concurrent discrete event systems modeled as petri nets =Estabilidad de sistemas de eventos modelados con redes de petri
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015)
Una herramienta para el análisis de modelos en redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010)