{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:26:44Z","timestamp":1760549204905},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:20:03Z","timestamp":1330251603000},"page":"219-238","source":"Crossref","is-referenced-by-count":32,"title":["Time Stream Petri Nets a model for timed multimedia information"],"prefix":"10.1007","author":[{"given":"Michel","family":"Diaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"S\u00e9nac","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J. F. Allen, Maintaining Knowledge about Temporal Intervals, Comm. of hte ACM, 26, (11), November 1983.","DOI":"10.1145\/182.358434"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"B. Berthomieu, M. Diaz, Modeling and Verification of Time Dependent Systems using Time Petri Nets, IEEE Transactions on Software Engineering, V 17, N3, March 1991.","DOI":"10.1109\/32.75415"},{"key":"13_CR3","volume-title":"From Timed Petri Nets to Timed LOTOS","author":"T. Bolognesi","year":"1990","unstructured":"T. Bolognesi, From Timed Petri Nets to Timed LOTOS, IFIP Int Conf on Protocol Specification, Testing and Verification, Ottawa, June 1990, North-Holland."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"M. Diaz, Modeling and Analysis of Communication and Cooperation Protocols using Petri Net basisd Models, Computer Networks, December 1982.","DOI":"10.1016\/0376-5075(82)90112-X"},{"key":"13_CR5","unstructured":"M. Diaz, P. Senac, Synchronization and Multimedia Objects, Technical Report 92437, LAAS, November 1992."},{"key":"13_CR6","unstructured":"M. Diaz, P. de Saqui-Sannes, P. Senac, Un Mod\u00e8le Formel pour la Sp\u00e9cification de la Synchronization Multim\u00e9dia en Environment Distribu\u00e9, Proceedings of CFIP'93, Montr\u00e9al, September 1993."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"M. Diaz, P. Senac, Time Stream Petri Nets, a Model for Multimedia Streams Synchronization, Proceedings of MMM'93, Singapore, November 1993.","DOI":"10.1007\/3-540-58152-9_13"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"C. L. Hamblin, Instants and Intervals, Proc. 1st Int. Conf. for the study of time, Springer Verlag, J. T. Fraser at al Editors, 1972.","DOI":"10.1007\/978-3-642-65387-2_23"},{"key":"13_CR9","unstructured":"T. Little, A. Ghafor, Multimedia Synchronization, IEEE Data Engineering September 1991."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"T. Little, A. Ghafor, Synchronization and Storage Models for Multimedia Objects, IEEE Journal on Selected Areas in Communications, 8, (3), April 1990.","DOI":"10.1109\/49.53017"},{"key":"13_CR11","volume-title":"Thesis","author":"P. Merlin","year":"1974","unstructured":"P. Merlin, A Study of the Recoverability of Computer Systems, Thesis, Computer Science Dept., University of California, Irvine, 1974."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol 77, No 4, April 1989.","DOI":"10.1109\/5.24143"},{"key":"13_CR13","unstructured":"C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC, TR 120, MIT, February 1974."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"L. F. Rust da Costa Carmo, P. de Saqui-Sannes, J. P. Courtiat, Basic Synchronization Concepts in Multimedia Systems, Proceedings of the 3rd International Workshop on Network and Operating Support for Digital Audio and Video, La Jolla, California, November 1992.","DOI":"10.1007\/3-540-57183-3_9"},{"key":"13_CR15","unstructured":"P. Senac, M. Diaz, P. de Saqui-Sannes, A Formal Environment for the Specification an Design of Multimedia Synchronization Scenarios, short Proceedings of the 4th International Workshop on Network and Operating Support for Digital Audio and Video, Lancaster, November 1993."},{"key":"13_CR16","unstructured":"P. Senac, M. Diaz, P. de Saqui-Sannes, Un Mod\u00e8le Formel pour la Sp\u00e9cification de la Synchronization Multim\u00e9dia en Environment Distribu\u00e9, Proceedings of RTS'94, Paris, January 1994."},{"key":"13_CR17","unstructured":"P. Senac, M. Diaz, The Properties of Structured Time Stream Petri Nets, Technical Report LAAS, April 1994."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"P. Senac, M. Diaz, P. de Saqui-Sannes, Toward a Formal Specification of Multimedia Synchronization, published in \u201cAnnals of Telecommunications\u201d, May\/June 1994.","DOI":"10.1007\/BF02998492"},{"key":"13_CR19","unstructured":"B. Walter, Timed Petri Nets for Modeling and Analysing protocols with time, Proc of the IFIP Conf on Protocol Specification, Testing and Verification, III, 1983, North Holland, H. Rudin & C. West eds."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:10:35Z","timestamp":1640913035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}