Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets. - Soumyajit Dey; Praveen Rokkam; Anupam Basu (Int. J. Model. Simul. Sci. Comput., 2011)