{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:15:56Z","timestamp":1742800556348},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:51Z","timestamp":1330277511000},"page":"451-470","source":"Crossref","is-referenced-by-count":14,"title":["Hierarchical Time Stream Petri Net: A model for hypermedia systems"],"prefix":"10.1007","author":[{"given":"Patrick","family":"S\u00e9nac","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Willrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"11","key":"26_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen. Maintaining Knowledge about Temporal Intervals. Communication of ACM, 26(11):832\u2013843, 1983.","journal-title":"Communication of ACM"},{"key":"26_CR2","unstructured":"W. Appelt. HyperODA \u2014 Extensions for Temporal Relationships. Proposed Draft Amendment (version 2) ISO\/IEC JTC 1\/SC 18\/WG 3\/N 2516, 1993."},{"issue":"2","key":"26_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF01213485","volume":"1","author":"D.C.A. Bulterman","year":"1993","unstructured":"D.C.A. Bulterman. Specification and Support of Adaptable Networked Multimedia. ACM Multimedia Systems 1(2): 68\u201376, 1993.","journal-title":"ACM Multimedia Systems"},{"issue":"9","key":"26_CR4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/MC.1987.1663693","volume":"20","author":"J. Conklin","year":"1987","unstructured":"J. Conklin. Hypertext: An Introduction and Survey. IEEE Computer, 20 (9): 17\u201341, 1987.","journal-title":"IEEE Computer"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"M. Diaz, P. S\u00e9nac. Time Stream Petri Nets, a Model for Multimedia Streams synchronization. In Proceedings of Multimedia Modelling (MMM'93), 1993.","DOI":"10.1007\/3-540-58152-9_13"},{"issue":"2","key":"26_CR6","first-page":"41","volume":"37","author":"K. Gr\u00f8nbaek","year":"1994","unstructured":"K. Gr\u00f8nbaek, R. H. Trigg. For a Dexter-Based Hypermedia System. Communication of ACM, 37(2): 41\u201349, 1994.","journal-title":"Communication of ACM"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"C.L. Hamblim. Instants and Intervals. In Proc. 1st Int. Conf. for the study of time. J.T. Fraser et al. Editors, Springer-Verlag, 1972.","DOI":"10.1007\/978-3-642-65387-2_23"},{"issue":"5","key":"26_CR8","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"D. Harel. On Visual Formalisms. Communications of the ACM, 31(5):514\u2013530, 1988.","journal-title":"Communications of the ACM"},{"issue":"2","key":"26_CR9","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/175235.175239","volume":"37","author":"L. Hardman","year":"1994","unstructured":"L. Hardman, D. C. A. Bulterman, G. Van Rossum. The Amsterdam Hypermedia Model: Adding time to the Dexter Model. Communication of ACM 37(2): 50\u201362, 1994.","journal-title":"Communication of ACM"},{"issue":"2","key":"26_CR10","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/175235.175237","volume":"37","author":"F. Halasz","year":"1994","unstructured":"F. Halasz, M. Schwartz. The Dexter Hypertext Reference Model. Communication of ACM 37(2): 30\u201339, 1994.","journal-title":"Communication of ACM"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets: A High Level Language for System Design and Analysis. Advances in Petri nets 1990, pages 342\u2013416. LNCS 483, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_31"},{"issue":"3","key":"26_CR12","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/49.53017","volume":"8","author":"T. Little","year":"1990","unstructured":"T. Little, A. Ghafor. Synchronization and Storage Models for Multimedia Objects. IEEE journal on Selected Areas in Communications, 8(3): 413\u2013427, 1990.","journal-title":"IEEE journal on Selected Areas in Communications"},{"key":"26_CR13","unstructured":"P. Merlin. A Study of the Recoverability of Computer Systems. Thesis in Computer Science Dept, University of California, 1974."},{"key":"26_CR14","unstructured":"Information Technology: Coded representation of Multimedia and Hypermedia Information Objects (MHEG), DIS ISO\/IEC 13522-1, Part 1, 1994."},{"key":"26_CR15","first-page":"383","volume":"93","author":"Z. Min","year":"1993","unstructured":"Z. Min, R. Rada. Dexter-Groupware Model for Collaborative Authoring. In Proc. of ED-MEDIA 93, pages 383\u2013390, 1993.","journal-title":"Proc. of ED-MEDIA"},{"issue":"11","key":"26_CR16","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/125490.125495","volume":"34","author":"S. Newcomb","year":"1991","unstructured":"S. Newcomb, N. Kipp, V. Newcomb. The HyTime Hypermedia\/Time-based Document Structuring Language. Communications of the ACM 34(11):67\u201383, 1991.","journal-title":"Communications of the ACM"},{"key":"26_CR17","unstructured":"P. Owezarski, M. Diaz, P. S\u00e9nac. Mod\u00e9lisation et impl\u00e9mentation de m\u00e9canismes de synchronisation multim\u00e9dia dans une application de visioconf\u00e9rence. In Proc. of Colloque Francophone sur l'Ing\u00e9nierie des Protocoles, Rennes, 1995."},{"key":"26_CR18","unstructured":"C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC, TR 120, MIT, 1974."},{"key":"26_CR19","unstructured":"P. S\u00e9nac, M. Diaz. Time Streams Petri Nets, a Model for Timed Multimedia Informations. In Proc. of 15th International Conference on Application and Theory of Petri Nets, Spain, 1994."},{"key":"26_CR20","unstructured":"P. S\u00e9nac, M. Diaz, P. De Saqui-Sannes. A Formal Environment for the Specification an Design of Multimedia synchronization Scenarios. In Short Proc. of the 4th International Workshop on Network and Operating Support for Digital Audio and Video, Lancaster, 1993."},{"key":"26_CR21","unstructured":"P. S\u00e9nac, M. Diaz, P. De Saqui-Sannes. A Formal Model for the Specification of Real-Time Systems. In Proc. of RTS'94, Paris, 1994."},{"key":"26_CR22","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S1045-926X(05)80008-4","volume":"1","author":"P. D. Stotts","year":"1990","unstructured":"P. D. Stotts, R. Furata. Temporal Hyperprogramming. Journal of Visual languages and Computing, 1: 237\u2013253, 1990.","journal-title":"Journal of Visual languages and Computing"},{"key":"26_CR23","unstructured":"P. S\u00e9nac, R. Willrich, M. Diaz. Hypermedia Synchronization Modeling: a Case Study. To appear in ED-MEDIA'95 World Conf. on Educational Multimedia and Hypermedia, Graz, 1995."},{"key":"26_CR24","unstructured":"B. Walter. Timed Petri nets for modeling and analyzing protocols with time. In Proc. of the IFIP Conf. on Protocol Specification, Testing and Verification, III, North Holland, H. Rudin & C. West Editors, 1983."},{"issue":"2","key":"26_CR25","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0140-3664(05)80016-7","volume":"17","author":"N. Williams","year":"1994","unstructured":"N. Williams, G. Blair. Distributed Multimedia Applications: A Review. In Computer Communications, 17(2): 119\u2013132, 1994.","journal-title":"Computer Communications"},{"key":"26_CR26","doi-asserted-by":"crossref","unstructured":"W.N. Zubereck. M-Timed Petri Nets, Priorities, Pre-emption and Performance Evaluation of Systems. Advance in Petri nets 1985, LNCS, Springer-Verlag, 1985.","DOI":"10.1145\/320599.320700"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:14Z","timestamp":1605648494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}