Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. - Maurizio Garelli; Marco Gribaudo (PASM@EPEW, 2008)