A multimedia synchronization communication model based on petri nets