Time Stream Petri Nets: A Model for Timed Multimedia Information
暂无分享,去创建一个
[1] Philip Meir Merlin,et al. A study of the recoverability of computing systems. , 1974 .
[2] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[3] Arif Ghafoor,et al. Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..
[4] C. L. Hamblin. Instants and intervals. , 1971, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.
[5] Pierre de Saqui-Sannes,et al. Toward a formal specification of multimedia synchronization scenarios , 1994 .
[6] Luiz Fernando Rust da Costa Carmo,et al. Basic Synchronization Concepts in Multimedia Systems , 1992, NOSSDAV.
[7] Tommaso Bolognesi,et al. From timed Petri nets to timed LOTOS , 1990, PSTV.
[8] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[9] Michel Diaz,et al. Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.
[10] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[11] Maurice Bellanger,et al. Annals of telecommunications , 1994 .
[12] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.