{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:13Z","timestamp":1761610093786,"version":"build-2065373602"},"reference-count":13,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80407-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"120-131","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"title":["Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets"],"prefix":"10.1016","volume":"66","author":[{"given":"Valent\u00edn","family":"Valero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB1","first-page":"53","article-title":"Timed Petri Nets and BQOs","volume":"vol. 2075","author":"Abdulla","year":"2001","journal-title":"In Proc. ICATPN 2001, Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB2","first-page":"451","article-title":"Interval Timed Coloured Petri Nets and their Analysis","volume":"vol. 691","author":"van der Aalst","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB3","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A. Cumani. On Petri Nets with Stochastic Timing. Proc. of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, pp. 80\u201387. 1985."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB4","unstructured":"T. Bolognesi, F. Lucidi and S. Trigila. From Timed Petri Nets to Timed LOTOS. Proc. of the Tenth International IFIP WG6.1 Symp. on Protocol Specification, Testing and Verification. 1990."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB5","unstructured":"Fred D.J. Bowden. Modelling time in Petri nets. Proc. Second AustraliaJapan Workshop on Stochastic Models. 1996."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(98)00008-5","article-title":"Time-based expressivity of time Petri nets for system specification","volume":"vol. 216","author":"Antonio","year":"1999","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB7","first-page":"187","article-title":"Decidability of Properties of Timed-Arc Petri Nets","volume":"vol. 1825","author":"de Frutos","year":"2000","journal-title":"Proc. ICATPN 2000, Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB8","first-page":"282","article-title":"Analysis of Place\/Transition Nets with Timed-Arcs and its Application to Batch Process Control","volume":"vol. 691","author":"Hanisch","year":"1993","journal-title":"Application and Theory of Petri Nets"},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB9","unstructured":"ISO\/IEC 13818-2. Draft International Standard Generic Coding of Moving Pictures and Associated Audio. Recommendation H.262."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB10","unstructured":"P. Merlin. \u201cA Study of the Recoverability of Communication Protocols\u201d. PhD. Thesis, Univ. of California. 1974."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB11","unstructured":"C. Ramchandani. \u201cPerformance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets\u201d. PhD. Thesis, Massachusetts Institute of Technology, Cambridge. 1973."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB12","unstructured":"J. Sifakis. Use of Petri Nets for Performance Evaluation. Proc. of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems. Elsevier Science Publishers, pp. 75\u201393. 1977."},{"key":"10.1016\/S1571-0661(04)80407-9_NEWBIB13","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/PNPM.1999.796565","article-title":"On Non-decidability of Reachability for Timed-Arc Petri Nets","author":"Valero","year":"1999","journal-title":"Proc. 8th Workshop on Petri Nets and Performance Models, PNPM'99"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804079?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804079?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:04:36Z","timestamp":1761609876000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104804079"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80407-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80407-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}