A β-Distributed Timed Petri Net Model for Multimedia Synchronization and Presentation