Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 encoding algorithm

Proceedings - 10th International Multimedia Modelling Conference, MMM 2004

Volumn , Issue , 2004, Pages 49-56

  Pelayo, Fernando L ^a   Cuartero, Fernando ^a   Valero, Valentín ^a   Macia, Hermenegilda ^a   Pelayo, Maria L ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Formal Methods; MPEG 2 Video Encoder; Performance Evaluation; Timed Arc Petri Net

Indexed keywords

FORMAL METHODS; MPEG-2; PERFORMANCE EVOLUTION; TIMED-ARC PETRI NETS; VIDEO ENCODERS;

ALGEBRA; ALGORITHMS; IMAGE CODING; IMAGE PROCESSING; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; PROGRAM DOCUMENTATION; USER INTERFACES;

PETRI NETS;

EID: 3042707717     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MULMM.2004.1264966     Document Type: Conference Paper

References (14)

1. P. Abdulla and A. Nylén. Timed Petti Nets and BQOs. Proc. ICATPN 2001, Lecture Notes in Computer Science, 207(5):53-70, 2001.
2. S. M. Akramullah, I. Ahmad, and M. L. Lion. Performance of software-based MPEG-2 video encoder on parallel and distributed systems. IEEE Transactions on Circuits and Systems for Video Technology, 7(4): 687-695, 1997.
3. F. Bowden. Modelling time in Petri nets. In Proc. of Second Australia-Japan Workshop on Stochastic Models, 1996.
4. A. Cerone and A. Maggiolo-Schettini. Time-based expressivity of time petri nets for system specification. Theoretical Computer Science, 216(1-2):1-53.
5. D. de Frutos, V. Valero, and O. Marroquín. Decidability of properties of timed-arc Petri nets. Proc. of ICATPN 2000, Lecture Notes in Computer Science, 1825:187-206, 2000.
6. W. V. der Aalst. Interval timed coloured petri nets and their analysis. Lecture Notes in Computer Science, 691:451-472, 1993.
7. H.-M. Hanisch. Analysis of place/transition nets with timedarcs and its application to batch process control. Application and Theory of Petri Nets, Lecture Notes in Computer Science, 691:282-299, 1993.
8. ISO/IEC 13818-2 Draft International Standard Generic Coding of Moving Pictures and Associated Audio. Recommendation H.262.
9. T. Olivares, F. Quiles, A. Garrido, P. Garcia, and L. Orozco-Barbosa. The need of multicast predictive nfs servers for high-speed networks used as parallel multimedia platforms. In ICPP ' 01, IEEE Computer Society Press, pages 391 -396, 2001.
10. F. L. Pelayo, F. Cuartero, V. Valero, and D.Cazorla. Analysis of the MPEG-2 encoding algorithm with ROSA. Electronic Notes on Theoretical Computer Science, 80(To appear), http://www.elsevier.nl/locate/entcs/volume80.html.
11. C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD. Thesis, Massachusetts Institute of Technology, Cambridge, 1973.
12. J. Sifakis. Use of petri nets for performance evaluation. Proc. of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems. Elsevier Science Publishers, pages 75-93, 1977.
13. V. Valero, D. de Frutos, and F. Cuartero. On non-decidability of reachability for timed-arc petri nets. In Proc. 8th Workshop on Petri Nets and Performance Models, PNPM'99, pages 188-196, 1999.
14. V. Valero, F. L. Pelayo, F. Cuartero, and D. Cazorla. Specification and analysis of the MPEG-2 video encoder with Timed-Arc Petri Nets. Electronic Notes on Theoretical Computer Science, 66(2): 125-136, http://www.elsevier.nl/locate/ entcs/volume66.html, 2002.