Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm

Authors:
Fernando L. Pelayo;Fernando Cuartero;Valentín Valero;Hermenegilda Macia;Maria L. Pelayo
Affiliations:
-;-;-;-;-
Venue:
MMM '04 Proceedings of the 10th International Multimedia Modelling Conference
Year:
2004

Citing 0
Cited 3

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Verification of timed-arc Petri nets

SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
TAPAAL 2.0: integrated development environment for timed-arc petri nets

TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

We use a timed extension of Petri nets, the so calledTimed-Arc Petri Nets, for the specification and analysis ofthe MPEG-2 Video Encoder. We have computed boundsfor the necessary time to encode each type of frame, alsowe present an improvement on the encoding process whichtakes advantage of the potential parallelism degree of theMPEG-2 video encoding algorithm, so reaching a 90% ofreduction on the time requirements, with respect to the originalMPEG-2 encoder.