{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T15:15:40Z","timestamp":1775229340781,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972324"],"award-info":[{"award-number":["61972324"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012542","name":"Sichuan Province Science and Technology Support Program","doi-asserted-by":"publisher","award":["2021YFS0313"],"award-info":[{"award-number":["2021YFS0313"]}],"id":[{"id":"10.13039\/100012542","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012542","name":"Sichuan Province Science and Technology Support Program","doi-asserted-by":"publisher","award":["2021YFG0133"],"award-info":[{"award-number":["2021YFG0133"]}],"id":[{"id":"10.13039\/100012542","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11047-022-09896-0","type":"journal-article","created":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T21:23:56Z","timestamp":1657401836000},"page":"181-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A tutorial on the formal framework for spiking neural P systems"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7800-1618","authenticated-orcid":false,"given":"Sergey","family":"Verlan","sequence":"first","affiliation":[]},{"given":"Gexiang","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,9]]},"reference":[{"issue":"4","key":"9896_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/s41965-020-00059-7","volume":"2","author":"HN Adorna","year":"2020","unstructured":"Adorna HN (2020) Computing with SN P systems with I\/O mode. Journal of Membrane Computing 2(4):230\u2013245","journal-title":"Journal of Membrane Computing"},{"key":"9896_CR2","doi-asserted-by":"publisher","unstructured":"Alhazov A, Freund R, Oswald M, et\u00a0al (2006) Extended spiking neural P systems. In: Hoogeboom HJ, P\u0103un Gh, Rozenberg G, et\u00a0al (eds) Membrane Computing: 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, vol 4361. Springer, pp 123\u2013134, https:\/\/doi.org\/10.1007\/11963516_8","DOI":"10.1007\/11963516_8"},{"key":"9896_CR3","doi-asserted-by":"publisher","unstructured":"Alhazov A, Freund R, Verlan S (2015) Bridging deterministic P systems and conditional grammars. In: Rozenberg G, Salomaa A, Sempere JM, et\u00a0al (eds) Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol 9504. Springer, pp 63\u201376, https:\/\/doi.org\/10.1007\/978-3-319-28475-0_5","DOI":"10.1007\/978-3-319-28475-0_5"},{"issue":"4","key":"9896_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s41965-020-00062-y","volume":"2","author":"P Batty\u00e1nyi","year":"2020","unstructured":"Batty\u00e1nyi P, Vaszil G (2020) Description of membrane systems with time Petri nets: promoters\/inhibitors, membrane dissolution, and priorities. J Membr Comput 2(4):341\u2013354","journal-title":"J Membr Comput"},{"issue":"2","key":"9896_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11047-006-9024-6","volume":"7","author":"H Chen","year":"2008","unstructured":"Chen H, Ionescu M, Ishdorj TO et al (2008) Spiking neural P systems with extended rules: universality and languages. Natural Comput 7(2):147\u2013166. https:\/\/doi.org\/10.1007\/s11047-006-9024-6","journal-title":"Natural Comput"},{"key":"9896_CR6","doi-asserted-by":"publisher","unstructured":"Csuhaj-Varj\u00fa E, Gheorghe M, Leporati A et al (2021) Membrane Computing Concepts. Theoretical Developments and Applications, World Scientific, chap 8, pp 261\u2013339. https:\/\/doi.org\/10.1142\/9789811235726_0008","DOI":"10.1142\/9789811235726_0008"},{"key":"9896_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ins.2022.03.007","volume":"596","author":"J Dong","year":"2022","unstructured":"Dong J, Zhang G, Luo B et al (2022) A distributed adaptive optimization spiking neural P system for approximately solving combinatorial optimization problems. Inf Sci 596:1\u201314. https:\/\/doi.org\/10.1016\/j.ins.2022.03.007","journal-title":"Inf Sci"},{"issue":"4","key":"9896_CR8","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1080\/00207160.2012.748899","volume":"90","author":"R Freund","year":"2013","unstructured":"Freund R, P\u00e9rez-Hurtado I, Riscos-N\u00fa\u00f1ez A et al (2013) A formalization of membrane systems with dynamically evolving structures. Int J Comput Math 90(4):801\u2013815. https:\/\/doi.org\/10.1080\/00207160.2012.748899","journal-title":"Int J Comput Math"},{"key":"9896_CR9","doi-asserted-by":"publisher","unstructured":"Freund R, Ivanov S, Verlan S (2015) P systems with generalized multisets over totally ordered abelian groups. In: Rozenberg G, Salomaa A, Sempere JM, et\u00a0al (eds) Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol 9504. Springer, pp 117\u2013136, https:\/\/doi.org\/10.1007\/978-3-319-28475-0_9","DOI":"10.1007\/978-3-319-28475-0_9"},{"key":"9896_CR10","doi-asserted-by":"publisher","unstructured":"Freund R, Verlan S (2007) A formal framework for static (tissue) P systems. In: Eleftherakis G, Kefalas P, Paun G, et\u00a0al (eds) Membrane Computing: 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol 4860. Springer, pp 271\u2013284, https:\/\/doi.org\/10.1007\/978-3-540-77312-2_17","DOI":"10.1007\/978-3-540-77312-2_17"},{"issue":"2\u20133","key":"9896_CR11","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.tcs.2006.11.025","volume":"372","author":"OH Ibarra","year":"2007","unstructured":"Ibarra OH, P\u0103un A, P\u0103un Gh et al (2007) Normal forms for spiking neural P systems. Theor Comput Sci 372(2\u20133):196\u2013217. https:\/\/doi.org\/10.1016\/j.tcs.2006.11.025","journal-title":"Theor Comput Sci"},{"issue":"2\u20133","key":"9896_CR12","first-page":"279","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu M, P\u0103un G, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae 71(2\u20133):279\u2013308","journal-title":"Fundamenta Informaticae"},{"key":"9896_CR13","doi-asserted-by":"crossref","unstructured":"Ionescu M, P\u0103un Gh, P\u00e9rez Jim\u00e9nez MdJ, et al (2011) Spiking neural P systems with several types of spikes. In Proceedings of the Ninth brainstorming week on membrane computing. Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica. F\u00e9nix Editora, pp 183\u2013192https:\/\/doi.org\/10.15837\/ijccc.2011.4.2092","DOI":"10.15837\/ijccc.2011.4.2092"},{"key":"9896_CR14","volume-title":"Computations: finite and infinite machines","author":"M Minsky","year":"1967","unstructured":"Minsky M (1967) Computations: finite and infinite machines. Prentice Hall, Englewood Cliffts"},{"issue":"4","key":"9896_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s41965-020-00058-8","volume":"2","author":"D Orellana-Mart\u00edn","year":"2020","unstructured":"Orellana-Mart\u00edn D, Riscos-N\u00fa\u00f1ez A (2020) Seeking computational efficiency boundaries: the p\u0103un\u2019s conjecture. J Membr Comput 2(4):323\u2013331","journal-title":"J Membr Comput"},{"issue":"1","key":"9896_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/s11063-011-9201-1","volume":"35","author":"L Pan","year":"2012","unstructured":"Pan L, Zeng X, Zhang X et al (2012) Spiking neural P systems with weighted synapses. Neural Process Lett 35(1):13\u201327. https:\/\/doi.org\/10.1007\/s11063-011-9201-1","journal-title":"Neural Process Lett"},{"issue":"8","key":"9896_CR17","doi-asserted-by":"publisher","first-page":"1750,042:1","DOI":"10.1142\/S0129065717500423","volume":"27","author":"L Pan","year":"2017","unstructured":"Pan L, Paun Gh, Zhang G et al (2017) Spiking neural P systems with communication on request. Int J Neural Syst 27(8):1750,042:1-1750,042:13. https:\/\/doi.org\/10.1142\/S0129065717500423","journal-title":"Int J Neural Syst"},{"issue":"1","key":"9896_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s41965-019-00010-5","volume":"1","author":"L Pan","year":"2019","unstructured":"Pan L, P\u0103un G, Zhang G (2019) Foreword: starting JMC. J Membr Comput 1(1):1\u20132. https:\/\/doi.org\/10.1007\/s41965-019-00010-5","journal-title":"J Membr Comput"},{"issue":"1","key":"9896_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un G (2000) Computing with membranes. J Comput Syst Sci 61(1):108\u2013143","journal-title":"J Comput Syst Sci"},{"key":"9896_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing: an introduction. Natural computing series","author":"Gh P\u0103un","year":"2002","unstructured":"P\u0103un Gh (2002) Membrane computing: an introduction. Natural computing series. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-642-56196-2"},{"key":"9896_CR21","volume-title":"The Oxford handbook of membrane computing","year":"2010","unstructured":"P\u0103un Gh, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford"},{"key":"9896_CR22","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.neunet.2017.08.003","volume":"95","author":"H Peng","year":"2017","unstructured":"Peng H, Yang J, Wang J et al (2017) Spiking neural P systems with multiple channels. Neural Netw 95:66\u201371. https:\/\/doi.org\/10.1016\/j.neunet.2017.08.003","journal-title":"Neural Netw"},{"key":"9896_CR23","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-030-00265-7_20","volume-title":"Spiking neural P systems: theoretical results and applications","author":"H Rong","year":"2018","unstructured":"Rong H, Wu T, Pan L et al (2018) Spiking neural P systems: theoretical results and applications. Springer, Cham, pp 256\u2013268. https:\/\/doi.org\/10.1007\/978-3-030-00265-7_20"},{"key":"9896_CR24","unstructured":"Shang Z, Verlan S, Zhang G, et\u00a0al (2021) FPGA implementation of numerical P systems. Int J Unconv Comput 16(2-3):279\u2013302. https:\/\/www.oldcitypublishing.com\/journals\/ijuc-home\/ijuc-issue-contents\/ijuc-volume-16-number-2-3-2021\/ijuc-16-2-3-p-279-302\/"},{"issue":"4","key":"9896_CR25","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1109\/tcds.2017.2785332","volume":"10","author":"T Song","year":"2017","unstructured":"Song T, Rodr\u00edguez-Pat\u00f3n A, Zheng P et al (2017) Spiking neural P systems with colored spikes. IEEE Trans Cogn Develop Syst 10(4):1106\u20131115. https:\/\/doi.org\/10.1109\/tcds.2017.2785332","journal-title":"IEEE Trans Cogn Develop Syst"},{"key":"9896_CR26","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.biosystems.2018.05.004","volume":"169\u2013170","author":"X Song","year":"2018","unstructured":"Song X, Wang J, Peng H et al (2018) Spiking neural P systems with multiple channels and anti-spikes. BioSystems 169\u2013170:13\u201319. https:\/\/doi.org\/10.1016\/j.biosystems.2018.05.004","journal-title":"BioSystems"},{"issue":"4","key":"9896_CR27","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/s41965-020-00056-w","volume":"2","author":"L Valencia-Cabrera","year":"2020","unstructured":"Valencia-Cabrera L, P\u00e9rez-Hurtado I, Mart\u00ednez-del Amor M\u00c1 (2020) Simulation challenges in membrane computing. J Membr Comput 2(4):392\u2013402","journal-title":"J Membr Comput"},{"key":"9896_CR28","doi-asserted-by":"publisher","unstructured":"Verlan S (2013) Using the formal framework for P systems. In: Alhazov A, Cojocaru S, Gheorghe M, et\u00a0al (eds) Membrane Computing: 14th International conference, CMC 2013, Chi\u015fin\u0103u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, Lecture Notes in Computer Science, vol 8340. Springer, pp 56\u201379, https:\/\/doi.org\/10.1007\/978-3-642-54239-8_6","DOI":"10.1007\/978-3-642-54239-8_6"},{"key":"9896_CR29","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s41965-020-00050-2","volume":"2","author":"S Verlan","year":"2020","unstructured":"Verlan S, Freund R, Alhazov A et al (2020) A formal framework for spiking neural P systems. J Membr Comput 2:355\u2013368. https:\/\/doi.org\/10.1007\/s41965-020-00050-2","journal-title":"J Membr Comput"},{"issue":"10","key":"9896_CR30","doi-asserted-by":"publisher","first-page":"2615","DOI":"10.1162\/NECO\\_a_00022","volume":"22","author":"J Wang","year":"2010","unstructured":"Wang J, Hoogeboom HJ, Pan L et al (2010) Spiking neural P systems with weights. Neural Comput 22(10):2615\u20132646. https:\/\/doi.org\/10.1162\/NECO_a_00022","journal-title":"Neural Comput"},{"issue":"2","key":"9896_CR31","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/TFUZZ.2012.2208974","volume":"21","author":"J Wang","year":"2013","unstructured":"Wang J, Shi P, Peng H et al (2013) Weighted fuzzy spiking neural P systems. IEEE Trans Fuzzy Syst 21(2):209\u2013220. https:\/\/doi.org\/10.1109\/TFUZZ.2012.2208974","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"9896_CR32","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.tcs.2020.07.016","volume":"862","author":"T Wu","year":"2021","unstructured":"Wu T, Zhang L, Pan L (2021) Spiking neural P systems with target indications. Theor Comput Sci 862:250\u2013261. https:\/\/doi.org\/10.1016\/j.tcs.2020.07.016","journal-title":"Theor Comput Sci"},{"key":"9896_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55989-6","volume-title":"Real-life applications with membrane computing","author":"G Zhang","year":"2017","unstructured":"Zhang G, P\u00e9rez-Jim\u00e9nez M, Gheorghe M (2017) Real-life applications with membrane computing. Springer, Berlin"},{"issue":"4","key":"9896_CR34","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/3402456","volume":"53","author":"G Zhang","year":"2020","unstructured":"Zhang G, Shang Z, Verlan S et al (2020) An overview of hardware implementation of membrane computing models. ACM Comput Surv 53(4):38. https:\/\/doi.org\/10.1145\/3402456","journal-title":"ACM Comput Surv"},{"issue":"01","key":"9896_CR35","doi-asserted-by":"publisher","first-page":"2050,055","DOI":"10.1142\/S0129065720500550","volume":"31","author":"G Zhang","year":"2021","unstructured":"Zhang G, Rong H, Paul P et al (2021) A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion. Int J Neural Syst 31(01):2050,055. https:\/\/doi.org\/10.1142\/S0129065720500550","journal-title":"Int J Neural Syst"},{"key":"9896_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-1566-5","volume-title":"Membrane computing models: implementations","author":"G Zhang","year":"2021","unstructured":"Zhang G, P\u00e9rez-Jim\u00e9nez M, Riscos\u00a0N\u00fa\u00f1es A et al (2021a) Membrane computing models: implementations. Springer, Berlin"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-022-09896-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-022-09896-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-022-09896-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,26]],"date-time":"2023-03-26T21:22:56Z","timestamp":1679865776000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-022-09896-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,9]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["9896"],"URL":"https:\/\/doi.org\/10.1007\/s11047-022-09896-0","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,9]]},"assertion":[{"value":"27 May 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no financial or proprietary interests in any material discussed in this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}