Automatic Temporal Formatting of Multimedia Presentations Using Dynamic Petri Nets | IEEE Conference Publication | IEEE Xplore