A dynamic Petri net model for iterative and interactive distributed multimedia presentation | IEEE Journals & Magazine | IEEE Xplore