{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:34Z","timestamp":1726029994967},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_13","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:09:17Z","timestamp":1558703357000},"page":"97-103","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coffee and Cigarettes"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"E. Best, J. Esparza, Model checking of persistent Petri nets, in Computer Science Logic, 5th Workshop, CSL \u201991, Berne, October 7\u201311, 1991, Proceedings, ed. by E. B\u00f6rger, G. J\u00e4ger, H. Kleine B\u00fcning, M. M. Richter. Lecture Notes in Computer Science, vol. 626 (Springer, Berlin, 1991), pp. 35\u201352","DOI":"10.1007\/BFb0023756"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, C. Fern\u00e1ndez, Nonsequential Processes - A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol. 13 (Springer, Berlin, 1988)","DOI":"10.1007\/978-3-642-73483-0_3"},{"key":"13_CR3","unstructured":"J. Esparza, K. Heljanko, Unfoldings - A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2008)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56496-9_14","volume-title":"Computer Aided Verification","author":"K. L. McMillan","year":"1993","unstructured":"K.L. McMillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, in Computer Aided Verification, Fourth International Workshop, CAV \u201892, Montreal, Canada, June 29\u2013July 1, 1992, Proceedings, ed. by G. von Bochmann, D.K. Probst. Lecture Notes in Computer Science, vol. 663 (Springer, Berlin, 1992), pp. 164\u2013177"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"M. Nielsen, G.D. Plotkin, G. Winskel, Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR6","unstructured":"C. Rodr\u00edguez, M. Sousa, S. Sharma, D. Kroening, Unfolding-based partial order reduction, in 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, September 1.4, 2015, ed. by L. Aceto, D. de Frutos Escrig. Leibniz International Proceedings in Informatics, vol. 42 (Dagstuhl Publishing, Dagstuhl, 2015), pp. 456\u2013469"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,18]],"date-time":"2022-09-18T16:01:42Z","timestamp":1663516902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_13","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}