A prioritized Petri net model and its application in distributed multimedia systems | Synapse