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...

Full description

Bibliographic Details
Author: Valero Ruiz, Valentín
Format: doctoral thesis
Publication Date:2002
Country:España
Institution:Universidad Complutense de Madrid (UCM)
Repository:Docta Complutense
Language:Spanish
OAI Identifier:oai:docta.ucm.es:20.500.14352/63323
Online Access:https://hdl.handle.net/20.500.14352/63323
Access Level:Open access
Keyword:Petri
Redes de
Cibernética matemática
1207.03 Cibernética
Description
Summary: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