ValentÃn Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla. Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. Electronic Notes in Theoretical Computer Science, 66(2):120-131, 2002. [doi]
Abstract is missing.