@INPROCEEDINGS{jjcc02,
   author = "Valentín Valero and Fernando L. Pelayo and Fernando Cuartero and Diego Cazorla",
   title =  "{Analysis of the MPEG-2 Encoder Algorithm with Timed-Arc Petri Nets}",
   booktitle = "Actas de las X Jornadas de Concurrencia",
   pages = "71--86",
   publisher = "Editorial Kronos",
   year = "2002",
   month = "June", address =   "Jaca, Spain", }