Petri net models for describing multimedia synchronization requirements | IEEE Conference Publication | IEEE Xplore