Extended timed petri nets for distributed multimedia presentation | IEEE Conference Publication | IEEE Xplore