{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:14Z","timestamp":1726029974175},"publisher-location":"Cham","reference-count":17,"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_8","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:09:17Z","timestamp":1558703357000},"page":"67-72","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Petri Nets Are (Not Only) Distributed Automata"],"prefix":"10.1007","author":[{"given":"David","family":"de Frutos Escrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-45740-2_18","volume-title":"Applications and Theory of Petri Nets 2001","author":"Olga Marroqu\u00edn Alonso","year":"2001","unstructured":"O. Marroqu\u00edn-Alonso, D. de Frutos-Escrig, Extending the Petri box calculus with time, in Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, ed. by J.M. Colom, M. Koutng. Lecture Notes in Computer Science, vol. 2075 (Springer, Berlin, 2001), pp. 303\u2013322"},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E Best","year":"2001","unstructured":"E. Best, R. Devillers, M. Koutny, Petri Net Algebra (Springer, Berlin, 2001)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"Luca Cardelli","year":"1999","unstructured":"L. Cardelli, Abstraction for mobile computation, in Secure Internet Programming, Security Issues for Mobile and Distributed Objects, ed. by J. Vitek, C.D. Jensen. Lecture Notes in Computer Science, vol. 1603 (Springer, Berlin, 1999), pp. 51\u201394"},{"key":"8_CR4","unstructured":"D. de Frutos-Escrig, Decidability of home states in place transition systems. Technical report, Dpto. Inform\u00e1tica y Autom\u00e1tica. Univ. Complutense de Madrid (1986)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"D. de Frutos-Escrig, O. Marroqu\u00edn-Alonso, Ambient Petri nets. Electron. Notes Theor. Comput. Sci. 85(1), 39 (2003)","DOI":"10.1016\/S1571-0661(05)80086-6"},{"key":"8_CR6","unstructured":"D. de Frutos-Escrig, C. Johnen, Decidability of home space property. Technical report, Laboratoire de Recherche en Informatique. Univ. de Paris-Sud, Centre d\u2019Orsay, Report LRI-503 (1989)"},{"key":"8_CR7","first-page":"187","volume-title":"Lecture Notes in Computer Science","author":"David de Frutos Escrig","year":"2000","unstructured":"D. de Frutos-Escrig, V. Valero-Ruiz, O. Marroqu\u00edn-Alonso, Decidability of properties of timed-arc Petri nets, in Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, ed. by M. Nielsen, D. Simpson. Lecture Notes in Computer Science, vol. 1825 (Springer, Berlin, 2000), pp. 187\u2013206"},{"key":"8_CR8","unstructured":"W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Springer, Berlin, 2011)"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/358549.358561","volume":"24","author":"CAR Hoare","year":"1981","unstructured":"C.A.R. Hoare, The emperor\u2019s old clothes. Commun. ACM 24(2), 75\u201383 (1981)","journal-title":"Commun. ACM"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"K. Jensen, L.M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Springer, Berlin, 2009)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"R.M. Karp, R.E. Miller, Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10703-007-0045-2","volume":"32","author":"H Maci\u00e0","year":"2008","unstructured":"H. Maci\u00e0, V. Valero-Ruiz, F. Cuartero, D. de Frutos-Escrig, A congruence relation for sPBC. Formal Methods Syst. Des. 32(2), 85\u2013128 (2008)","journal-title":"Formal Methods Syst. Des."},{"key":"8_CR13","unstructured":"F. Rosa-Velardo, D. de Frutos-Escrig, Name creation vs. replication in Petri net systems. Fundam. Inform. 88(3), 329\u2013356 (2008)"},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/FI-2010-368","volume":"105","author":"F Rosa-Velardo","year":"2010","unstructured":"F. Rosa-Velardo, D. de Frutos-Escrig, Decidability problems in Petri nets with names and replication. Fundam. Inform. 105(3), 291\u2013317 (2010)","journal-title":"Fundam. Inform."},{"key":"8_CR15","unstructured":"V. Valero-Ruiz, D. de Frutos-Escrig, F. Cuartero, Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems, in Proceedings of 4th International Workshop on Petri Nets and Performance Models, PNPM 1991 (IEEE, Los Alamitos, 1991), pp. 154\u2013163"},{"key":"8_CR16","unstructured":"V. Valero-Ruiz, D. de Frutos-Escrig, F. Cuartero, On non-decidability of reachability for timed-arc Petri nets, in Proceedings of 8th International Workshop on Petri Nets and Performance Models, PNPM 1999 (IEEE Computer Society, Los Alamitos, 1999), pp. 188\u2013196"},{"key":"8_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48093-9","volume-title":"Carl Adam Petri: Life and Science","author":"E Smith","year":"2015","unstructured":"E. Smith, Carl Adam Petri: Life and Science (Springer, Berlin, 2015)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T12:12:42Z","timestamp":1608034362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_8","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"}}]}}