Buscar
Mostrando ítems 1-6 de 6
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)
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)
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)
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)