Timed Petri net representation of the Synchronized Multimedia Integration Language (SMIL) of XML | IEEE Conference Publication | IEEE Xplore