Publications before 1995 Decibilidad de Problemas sobre redes de Petri temporizadas. V. Valero    Phd. Thesis  February,1993 Draft Version (PostScript)     Bibtex Entry Decidability of the Strict Reachability Problem for TPN's with Rational and Real Durations V. Valero, D. De Frutos, F. Cuartero Proceedings. of 5th PNPM Ed. IEEE: 10-1993 Los Alamitos. (U.S.A.) October,1993 TPN's with the Maximum Parallelism Hypothesis and TPN's with time-outs V. Valero, D. De Frutos, F. Cuartero, Actas de III Jornadas de Concurrencia Gandía.(Spain) June,1993 Redes de Petri Temporizadas V. Valero, D. De Frutos, F. Cuartero Actas de  XIX Conf. Latinoamericana de Informática, PANEL 93 Buenos Aires. (Argentina) August,1993 PCSP. A Model for the Specification of Probabilistic Processes F. Cuartero, D. De Frutos, V. Valero Actas de III Jornadas de Concurrencia Gandía (Spain) June,1993   Publications of 1992 CSP Probabilístico (PCSP): Un modelo operacional F. Cuartero, D. De Frutos, V. Valero Actas de XVIII Conf. Latinoamericana de Informática, PANEL 92 Las Palmas de Gran Canaria (Spain) August,1992   Publications of 1991 Simulation of Timed Petri Nets and Applications to the Decidability of Timed Reachability Problem and Other Related Problems. V. Valero, D. De Frutos, F. Cuartero Proceedings of 4th PNPM Ed IEEE Los Alamitos. (U.S.A.) December,1991