Toward a formal specification of multimedia synchronization scenarios

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Synchronization and storage models for multimedia objects

Thomas D. C. Little, Arif Ghafoor · IEEE Journal on Selected Areas in Communications · 1990 · 531 citations

Computing, Computer Science, Information Systems +17

Interval-based conceptual models for time-dependent multimedia data

Thomas D. C. Little, Arif Ghafoor · IEEE Transactions on Knowledge and Data Engineering · 1993 · 269 citations

Computing, Computer Science, Information Systems +17