DocumentCode
2546425
Title
Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm
Author
Pelayo, Fernando L. ; Cuartero, Fernando ; Valero, Valentín ; Macia, Hermenegilda ; Pelayo, Maria L.
Author_Institution
Escuela Politecnica Superior de Albacete, Univ. of Castilla-La Mancha, Albacete, Spain
fYear
2004
fDate
5-7 Jan. 2004
Firstpage
49
Lastpage
56
Abstract
We use a timed extension of Petri nets, the so called timed-arc Petri Nets, for the specification and analysis of the MPEG-2 video encoder. We have computed bounds for the necessary time to encode each type of frame, also we present an improvement on the encoding process which takes advantage of the potential parallelism degree of the MPEG-2 video encoding algorithm, so reaching a 90% of reduction on the time requirements, with respect to the original MPEG-2 encoder.
Keywords
Petri nets; encoding; formal specification; performance evaluation; video coding; MPEG-2; formal methods; performance evaluation; timed-arc Petri nets; video encoder specification; video encoding algorithm; Algebra; Computer languages; Concurrent computing; Encoding; Fires; Parallel processing; Performance analysis; Petri nets; Software design; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Multimedia Modelling Conference, 2004. Proceedings. 10th International
Print_ISBN
0-7695-2084-7
Type
conf
DOI
10.1109/MULMM.2004.1264966
Filename
1264966
Link To Document