@ARTICLE{entcs02,
   author = "Valentín Valero and Fernando L.Pelayo and Fernando Cuartero and Diego Cazorla",
   title ="{Specification and Analysis of the MPEG-2 Encoder with Timed-Arc Petri Nets}",
   journal =      "Electronic Notes in Theoretical Computer Science",
   publisher =      "Elsevier Science B.V.",
   year =         "2002",
   volume =       "66",
   number =       "2",
   month =        "July" }