Publications of 1999 On Non-Decidability of reachability for Time Arcs Petri Nets V. Valero, D. De Frutos, F. Cuartero Proceedings . of XXth PNPM Ed. IEEE Zaragoza (Spain) July,1999 Draft Version (PostScript)     Bibtex Entry PPNAL:Performance evaluation in an algebraic model for probabilistic and nondeterministic processes F. López Pelayo, F. Cuartero, V. Valero, D. Cazorla Proceedings of 15th. Annual UK Performance Engineering Workshop Bristo (U.K.) July,1999 Draft Version (PostScript)     Bibtex Entry PPNAL: Evaluación de prestaciones en un modelo algebraico para procesos probabilísticos y no deterministas F. L. Pelayo, F. Cuartero, V. Valero, D. Cazorla Actas de VII Jornadas de Concurrencia Gandía (Spain) June,1999 Draft Version (PostScript)     Bibtex Entry Modelos temporizados y probabilísticos. Technical Report. DIAB-99-01-04 Juan José Pardo Mateo, Fernando Cuartero Postscript     Bibtex Entry Prototipo de una herramienta de ejecucion de especificaciones en tpal. Technical Report. DIAB-99-01-05 Juan José Pardo Mateo, Valentín Valero Ruiz Postscript     Bibtex Entry