For the most recent entries see the Petri Nets Newsletter.

Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets.

Valero, Valentin; Pelayo, Fernando L.; Cuartero, Fernando; Cazorla, Diego

In: Electronic Notes in Theoretical Computer Science (ENTCS), Volume 66, Issue 2 (2002). Elsevier Science, December 2002.

Abstract: Petri nets are a very suitable model for the description and analysis of concurrent systems. Several timed extensions of Petri nets have been defined to capture some additional aspects, concerning with the behaviour in time of the described systems. In this paper we illustrate the use of timed-arc Petri nets for the modelling of timed concurrent systems, using the MPEG--2 video encoder as an example. From the analysis of the model we conclude that the performance of the encoding process could be improved by introducing some minor changes on the encoder.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography