Publications of 2003 Analysis of the MPEG-2 Encoding Algorithm with Rosa F. L. Pelayo, F. Cuartero, V. Valero, D. Cazorla Presented at 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03) Electronic Notes in Theoretical Computer Science, vol. 80, 18 pages. Ed. Elsevier Science Draft Version (PostScript)     Bibtex Entry  Algebraic Theory of Probabilistic and Nondeterministic Processes D. Cazorla, F. Cuartero,  V. Valero, F. L. Pelayo, J. José Pardo The Journal of Logic and Algebraic Programming Ed. Elsevier Science B.V. Draft Version (PostScript)     Bibtex Entry  A New Synchronization in Finite Stochastic Petri Box Calculus H. Macià, V. Valero, F. Cuartero, F.L. Pelayo Proceedings of ACSD 2003 (Third International Conference on Application of Concurrency to System Design ) Guimarães (Portugal), June,2003 Draft Version (PostScript)     Bibtex Entry sPBC: Una extensión markoviana del Petri Box Calculus. H. Macìa Phd. Thesis  December,2003 Draft Version (PostScript)(In Spanish)     Bibtex Entry Descripción e implementación de TPPAL: un álgebra de procesos temporizados y probabilísticos. Juan J. Pardo Phd. Thesis  July,2003 Draft Version (PostScript)(In Spanish)     Bibtex Entry Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 encoding Algorithm F. L. Pelayo, F. Cuartero, V. Valero, H.Macia, M. L. Pelayo Proceedings of the 10th IEEE International Conference on Multi-Media Modelling (MMM'2004). Brisbane (Australia), 2004 Draft Version (PostScript)     Bibtex Entry Optimizing the MPEG-2 Encoding Process with the IBBP GoP Configuration by Timed-Arc Petri Nets F. L. Pelayo, F. Cuartero, V. Valero, G. Diaz, M.L Pelayo Proceedings of CLEI'2003 La Paz (Bolivia), November, 2003 Draft Version (PostScript)     Bibtex Entry  P_UPPAAL a tool for capturing the probabilistic behaviour of UPPAAL models G. Diaz,D. Cazorla, F. Cuartero, V.Valero Actas de las XI Jornadas de Concurrencia Benicassim (Spain) June, 2003 Draft Version (PostScript)     Bibtex Entry Verifying and Capturing Probabilistic Behaviours of Real-Time Systems G. Diaz, D. Cazorla, F. L. Pelayo, F. Cuartero, V.Valero Proceedings of 19th Annual UK Performance Engineering Workshop (U.K.) July, 2003 Draft Version (PostScript)     Bibtex Entry