Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML