A prioritized Petri net model and its application in distributed multimedia systems | IEEE Journals & Magazine | IEEE Xplore