Search
Now showing items 1-10 of 22
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)
Diagnóstico y predicción de fallas en modelos de redes de Petri interpretadas
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2012)
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)
Modeling and computing networked agents' behaviour using timed hybrid Petri nets =Modelado y cómputo del comportamiento de agentes interconectados usando redes de Petri híbridas temporizadas
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)
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)
Traducción de redes de Petri a ecuaciones booleanas para el diseño algebraico de controladores lógicos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010)