Poética mística sin relojes ni esquinas: análisis de la obra "Aguaespejo granadino" de José Val del Omar

Hay figuras que se escapan de sus contemporáneos como el agua entre los dedos. Autores difícilmente clasificables, cuya magnitud es apenas intuida hasta pasados muchos años del nacimiento de su obra. Hay autores que trabajan para siempre. Es el caso de artistas como Federico García Lorca, Antonio Gaudí, Franz Kafka, Víctor Erice, Andrei Tarkowski o tantos otros. Autores que avanzan en la oscuridad. Autores que caminan sin red por la cuerda floja, sin conocer hacia dónde van. Autores que exploran nuevos territorios en nombre de la humanidad. Autores que rozan lo inefable, que nos asoman al abismo insondable. Y a esta clase pertenece también el cineasta granadino José Val del Omar. Y se dice cineasta porque ni él mismo logró encontrar una palabra que definiera lo que hacía. Cinemista, cinegrafía, mecamística… son términos que necesitó forjar porque en la oscuridad los objetos se vuelven ininteligibles, pero necesitamos poner nombre a las cosas para que existan. Val del Omar está mucho más cerca de Rimbaud que de Willy Wilder a pesar de que las categorías convencionales digan lo contrario. La naturaleza de su obra se resiste por definición a cualquier análisis o método de razonamiento lógicodeductivo, y sin embargo sentimos la necesidad de abordarlo en el intento de adentrarnos un poco más en esas imágenes oníricas que sin saber porqué nos fascinan misteriosamente como mariposas atraídas por la luz, que diría el propio protagonista de este trabajo. Val del Omar dedicó su vida a producir apenas 61 minutos de celuloide, de los cuales 21 son objeto de este estudio, y sin embargo escribió literalmente miles de páginas sobre ello. Para escribir durante toda una vida basta observar lo que sucede en un vaso de agua, decía Valéry, y José Val del Omar descubrió, y nos descubrió a nosotros que el misterio se encierra en las cosas pequeñas, o como diría el maestro, “en los pliegues de lo chiquito”. Quien se dedica a profundizar en su entorno sabe bien que ése vislumbre se produce en contadas ocasiones y es sólo el premio de muchas horas, días, meses incluso años de trabajo. El genio de Granada filmó una y otra vez las pequeñas cosas de su entorno hasta prácticamente el día de su muerte, buscando desvelar este misterio de las cosas. José Val del Omar ha sido comparado en numerosas ocasiones con San Juan de la Cruz y Santa Teresa, ha sido definido como un inventor adelantado a su tiempo, ha sido calificado de visionario, de ingeniero, de artista, poeta…, y lo cierto es que todos y ninguno tienen razón, pues Val del Omar se transformó en su propia obra hasta el punto de confundirse con ella. Su figura resulta pues tan impenetrable como sus propias cintas y tan enigmática y fascinante como ellas...

Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracteŕısticas fundamentales de los sistemas que se manejan hoy en d́ıa, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un ńumero no acotado de estados ejecut́andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ́on de las caracteŕısticas anteriores. Por ejemplo, las “Redes de Petri Temporizadas” [83, 10](TPN) incluyen el manejo de tiempo real y las ν-redes de Petri [78](ν-PN) son capaces de representar un ńumero no acotado de procesos con infinitos estados ejecut́andose concurrentemente. En esta tesis definimos varias extensiones que réunen estas dos caracteŕısticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las “ν-Redes de Petri Temporizadas”, que réunen las caracteŕısticas expresivas de las TPN y las ν-PN. Este nuevo modelo es capaz de representar sistemas con un ńumero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un ńumero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transicíon. Desafortunadamente, demostramos que la verificacíon de propiedades de seguridad es indecidible para este modelo...