Browsing Cinvestav-GUADALAJARA by Subject "Petri nets"
Now showing items 1-20 of 22
-
Continuous timed Petri nets greenhouse temperature and relative humidity modeling =Modelado de la temperatura y humedad relativa de un invernadero por medio de redes de Petri fluidificadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2012) -
Diagnóstico de faltas intermitentes para sistemas de eventos discretos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2011) -
Diagnóstico de faltas para una clase de redes de Petri usando lugares descriptor
(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) -
Diseño de leyes de control para redes de petri fluidificadas y algunas aplicaciones
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
Diseño de una ley de control para alcanzabilidad en redes de Petri fluidificadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010) -
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) -
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) -
Modelado incremental de sistemas híbridos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015) -
Modelado y scheduling térmico para MPSoCs usando redes de petri continuas temporizadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
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) -
Observabilidad en redes de petri continuas temporizadas con semántica de producto
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2012) -
Observadores en sistemas fluidificados caóticos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
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) -
Representación y manipulación algebraica de las creencias, deseos e intenciones de un agente
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
Secuencia detectabilidad estructural en redes de Petri interpretadas
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
Sensor placement for observability in fluidified Petri nets =Ubicación de sensores para observabilidad en redes de Petri fluidificadas
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2012) -
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) -
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) -
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)