Decibilidad de problemas sobre redes de Petri temporizadas

La tesis investiga cuestiones de decibilidad sobre distintos variantes de redes de Petri temporizados. Se detiene diversas extensiones de las propiedades clásicas de redes de Petri, a los modelos temporizados, se consideran, asimismo distintas hipótesis sobre el tipo de modelo temporal: discreto, ra...

Descripción completa

Detalles Bibliográficos
Autor: Valero Ruiz, Valentín
Tipo de recurso: tesis doctoral
Fecha de publicación:2002
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/63323
Acceso en línea:https://hdl.handle.net/20.500.14352/63323
Access Level:acceso abierto
Palabra clave:Petri
Redes de
Cibernética matemática
1207.03 Cibernética
Descripción
Sumario:La tesis investiga cuestiones de decibilidad sobre distintos variantes de redes de Petri temporizados. Se detiene diversas extensiones de las propiedades clásicas de redes de Petri, a los modelos temporizados, se consideran, asimismo distintas hipótesis sobre el tipo de modelo temporal: discreto, racional, real etc.. El trabajo se encuadra en una línea de investigación de acrualidad y los resutados obtenidos son interesantes, numerosos y originales