RT Dissertation/Thesis T1 Decibilidad de problemas sobre redes de Petri temporizadas A1 Valero Ruiz, Valentín AB 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 PB Universidad Complutense de Madrid, Servicio de Publicaciones SN 978-84-669-0722-4 YR 2002 FD 2002 LK https://hdl.handle.net/20.500.14352/63323 UL https://hdl.handle.net/20.500.14352/63323 LA spa NO Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, S.D.Informática y Automática, leída el 07-05-1993 DS Docta Complutense RD 6 may 2024