{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:03:47Z","timestamp":1757617427080,"version":"3.44.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031812019"},{"type":"electronic","value":"9783031812026"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-81202-6_7","type":"book-chapter","created":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:52:38Z","timestamp":1740444758000},"page":"103-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Petri Nets to\u00a0Virus Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2892-6775","authenticated-orcid":false,"given":"David","family":"Orellana-Mart\u00edn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2638-9101","authenticated-orcid":false,"given":"\u00c1lvaro","family":"Romero-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5409-3578","authenticated-orcid":false,"given":"Agust\u00edn","family":"Riscos-N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5055-0102","authenticated-orcid":false,"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,26]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(76)90067-0","volume":"3","author":"T Araki","year":"1976","unstructured":"Araki, T., Kasami, T.: Some decision problems related to the reachability problem for Petri nets. Theoret. Comput. Sci. 3(1), 85\u2013104 (1976)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ic.2014.08.008","volume":"239","author":"G Ciobanu","year":"2014","unstructured":"Ciobanu, G., Michele Pinna, G.: Catalytic and communicating Petri nets are Turing complete. Inf. Comput. 239, 55\u201370 (2014)","journal-title":"Inf. Comput."},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0035389","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Jensen","year":"1997","unstructured":"Jensen, K.: A brief introduction to coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203\u2013208. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0035389"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Pawlewski, P.: Petri nets applications. InTech, Poland (2010)","DOI":"10.5772\/150"},{"key":"7_CR5","unstructured":"Petri, C.A.: Kommunikation mit Automaten (Ph.D. thesis). University of Bonn (1962)"},{"key":"7_CR6","first-page":"21831","volume":"13","author":"A Ram\u00edrez-de-Arellano","year":"2023","unstructured":"Ram\u00edrez-de-Arellano, A., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M.J.: Attacking cryptosystems by means of virus machines. Nat. Sci. Rep. 13, 21831 (2023)","journal-title":"Nat. Sci. Rep."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Ram\u00edrez-de-Arellano, A., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M.J.: Bridges between spiking neural membrane systems and virus machines. Int. J. Neural Syst. (2024)","DOI":"10.1142\/S0129065724500345"},{"key":"7_CR8","unstructured":"Ram\u00edrez-de-Arellano, A., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M.J.: Parallel Virus Machines. J. Membrane Comput. (accepted)"},{"key":"7_CR9","unstructured":"Ram\u00edrez-de-Arellano, A., Rodr\u00edguez-Gallego, J.A., Orellana-Mart\u00edn, D., Ivanov, S.: Stochastic virus machines. In: Proceedings of the 19th Brainstorming Week on Membrane Computing, pp. 79\u201390. RGNC REPORT 1\/2023, Sevilla (2023)"},{"key":"7_CR10","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-662-49014-3_30","volume-title":"Bio-Inspired Computing - Theories and Applications","author":"\u00c1 Romero-Jim\u00e9nez","year":"2015","unstructured":"Romero-Jim\u00e9nez, \u00c1., Valencia-Cabrera, L., P\u00e9rez-Jim\u00e9nez, M.J.: Generating Diophantine sets by virus machines. In: BIC-TA 2015. CCIS, vol. 562, pp. 331\u2013341. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-49014-3_30"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-319-28475-0_24","volume-title":"Membrane Computing","author":"\u00c1 Romero-Jim\u00e9nez","year":"2015","unstructured":"Romero-Jim\u00e9nez, \u00c1., Valencia-Cabrera, L., Riscos-N\u00fa\u00f1ez, A., P\u00e9rez-Jim\u00e9nez, M.J.: Computing partial recursive functions by virus machines. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 353\u2013368. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-28475-0_24"},{"key":"7_CR12","unstructured":"Valencia-Cabrera, L., P\u00e9rez-Jim\u00e9nez, M.J., Chen, X., Wang, B., Zeng, X.: Basic virus machines. In: 16th International Conference on Membrane Computing (CMC16), pp. 323\u2013342 (2015)"},{"key":"7_CR13","unstructured":"Wu, H., Ramirez-de-Arellano, A., Orellana-Mart\u00edn, D., Wang, T., Wang, T., P\u00e9rez-Jim\u00e9nez, M.J.: Channel parallel virus machine with production rules for power system fault diagnosis. J. Membrane Comput. (submitted)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/TSMC.2012.2237549","volume":"44","author":"DA Zaitsev","year":"2013","unstructured":"Zaitsev, D.A.: Toward the minimal universal Petri net. IEEE Trans. Syst. Man Cybern.: Syst. 44(1), 47\u201358 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."}],"container-title":["Lecture Notes in Computer Science","Machines, Computations, and Universality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-81202-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T06:20:43Z","timestamp":1757139643000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-81202-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031812019","9783031812026"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-81202-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"26 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"MCU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Machines, Computations, and Universality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mcu2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/webusers.i3s.unice.fr\/MCU2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}