 |
 |
| Publications of 2002 |
 |
A
Congruence relation in finite sPBC H. Macia, V. Valero, F. Cuartero Technical Report. DIAB-02-01-31 Draft Version (PostScript) Bibtex Entry |
|
Improving
the synchronization in Stochastic Petri Box Calculus H. Macià, V. Valero, F. Cuartero, F.L. Pelayo Actas de las II Jornadas sobre Programación y Lenguajes (PROLE 2002) El Escorial (España) Noviembre-2002 |
|
Specification
and Analysis of the MPEG-2 Encoder with Timed-Arc Petri Nets V. Valero, F.L.Pelayo, F. Cuartero, D. Cazorla Electronic Notes in Theoretical Computer Science vol 66, num 2 , July-2002 Ed. Elsevier Science B.V. Draft Version (PostScript) Bibtex Entry |
|
On
the Improvements of the MPEG-2 Encoding Algorithm by Timed-Arc Petri
Nets V. Valero, F.L. Pelayo, F. Cuartero, D. Cazorla Proc. of the 18th Annual UK Performance Engineering Workshop (UKPEW'02) Glasgow (Scotland) June,2002 Draft Version (PostScript) Bibtex Entry |
|
Analysis
of the MPEG-2 Encoder Algorithm with Timed-Arc Petri Nets V. Valero, F.L. Pelayo, F. Cuartero, D. Cazorla Actas de las X Jornadas de Concurrencia Jaca (Spain) June,2002 Draft Version (PostScript) Bibtex Entry |
|
Translating TPAL Specifications into Timed-Arc Petri Nets. V. Valero, J.J. Pardo, F. Cuartero Proceedings of ICTAPN'2002 Adelaine (Australia) Junio,2002 Draft Version (PostScript) Bibtex Entry |
|
New
Features of TPAL for the Specification and Analisis of Concurrent
Systems Juan Jose Pardo, Valentin Valero,Mª Carmen Ruiz,Mª Emilia Cambronero. Technical Report. DIAB-02-01-25 Draft Version (PostScript) Bibtex Entry |
|
A
New Proposal for the Synchronization in SPBC H.Maciá, V.Valero, F.Cuartero, F.L.Pelayo. Technical Report. DIAB-02-01-26 Draft Version (PostScript) Bibtex Entry |
|
P_UPPAAL a
tool for capturing the probabilistic behaviour of UPPAAL models
|