A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems