Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm | Publicación