Temporal relations and synchronization agents

Temporal relationships, inevitable among distributed multimedia objects, require synchronization of multiple data streams in time. We propose using synchronization agents as "smart" distributed objects to deal with scheduling, integrating, and synchronizing distributed multimedia streams. A formal specification model, interoperable Petri nets, describes the agents' behavior and captures the temporal semantics existing among distributed multimedia objects.