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
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;
Conference_Titel :
Multimedia Modelling Conference, 2004. Proceedings. 10th International
Print_ISBN :
0-7695-2084-7
DOI :
10.1109/MULMM.2004.1264966