{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:38:56Z","timestamp":1740181136823,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:00:00Z","timestamp":1603411200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:00:00Z","timestamp":1603411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s41965-020-00050-2","type":"journal-article","created":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T05:03:07Z","timestamp":1603429387000},"page":"355-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["A formal framework for spiking neural P systems"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7800-1618","authenticated-orcid":false,"given":"Sergey","family":"Verlan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1255-1953","authenticated-orcid":false,"given":"Rudolf","family":"Freund","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6184-3971","authenticated-orcid":false,"given":"Artiom","family":"Alhazov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1537-6508","authenticated-orcid":false,"given":"Sergiu","family":"Ivanov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4554-455X","authenticated-orcid":false,"given":"Linqiang","family":"Pan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,23]]},"reference":[{"key":"50_CR1","unstructured":"Alhazov, A., Freund, R., Ivanov, S., Oswald, M., & Verlan, S. (2015). Extended spiking neural P systems with white hole rules. In Proceedings of the Thirteenth Brainstorming Week on Membrane Computing (pp. 45\u201362). Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica, 2\u20136 de Febrero, 2015."},{"key":"50_CR2","doi-asserted-by":"publisher","unstructured":"Alhazov, A., Freund, R., Oswald, M., & Slavkovik, M. (2006). Extended spiking neural P systems. In H. J. Hoogeboom, Gh. P\u0103un, G. Rozenberg, A. Salomaa (Eds.), Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17\u201321, 2006, Revised, Selected, and Invited Papers, Lecture Notes in Computer Science (Vol. 4361, pp. 123\u2013134). Springer: Berlin. https:\/\/doi.org\/10.1007\/11963516_8","DOI":"10.1007\/11963516_8"},{"issue":"8","key":"50_CR3","doi-asserted-by":"publisher","first-page":"792","DOI":"10.1109\/TNB.2017.2762580","volume":"16","author":"FGC Cabarle","year":"2017","unstructured":"Cabarle, F. G. C., Adorna, H. N., Jiang, M., & Zeng, X. (2017). Spiking neural P systems with scheduled synapses. IEEE Transactions on Nanobioscience, 16(8), 792\u2013801.","journal-title":"IEEE Transactions on Nanobioscience"},{"issue":"8","key":"50_CR4","doi-asserted-by":"publisher","first-page":"1905","DOI":"10.1007\/s00521-015-1857-4","volume":"26","author":"FGC Cabarle","year":"2015","unstructured":"Cabarle, F. G. C., Adorna, H. N., P\u00e9rez-Jim\u00e9nez, M. J., & Song, T. (2015). Spiking neural P systems with structural plasticity. Neural Computing and Applications, 26(8), 1905\u20131917.","journal-title":"Neural Computing and Applications"},{"issue":"24\u201325","key":"50_CR5","doi-asserted-by":"publisher","first-page":"2352","DOI":"10.1016\/j.tcs.2009.02.031","volume":"410","author":"M Cavaliere","year":"2009","unstructured":"Cavaliere, M., Ibarra, O. H., P\u0103un, Gh, Egecioglu, O., Ionescu, M., & Woodworth, S. (2009). Asynchronous spiking neural P systems. Theoretical Computer Science, 410(24\u201325), 2352\u20132364.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"50_CR6","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, T. O., P\u0103un, A., P\u0103un, Gh, & P\u00e9rez-Jim\u00e9nez, M. (2008). Spiking neural P systems with extended rules: Universality and languages. Natural Computing, 7(2), 147\u2013166.","journal-title":"Natural Computing"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Csuhaj-Varj\u00fa, E., & Verlan, S. (2017). Bi-simulation between P colonies and P systems with multi-stable catalysts. In M. Gheorghe, G. Rozenberg, A. Salomaa, C. Zandron (Eds.), Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25\u201328, 2017, Revised Selected Papers, Lecture Notes in Computer Science (Vol. 10725, pp. 105\u2013117). Springer: Berlin.","DOI":"10.1007\/978-3-319-73359-3_7"},{"key":"50_CR8","doi-asserted-by":"publisher","unstructured":"Freund, R. (2019). A general framework for sequential grammars with control mechanisms. In M. Hospod\u00e1r, G. Jir\u00e1skov\u00e1, S. Konstantinidis (Eds.), Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Ko\u0161ice, Slovakia, July 17\u201319, 2019, Proceedings, Lecture Notes in Computer Science (Vol. 11612, pp. 1\u201334). Springer: Berlin. https:\/\/doi.org\/10.1007\/978-3-030-23247-4_1","DOI":"10.1007\/978-3-030-23247-4_1"},{"key":"50_CR9","doi-asserted-by":"publisher","unstructured":"Freund, R., Ivanov, S., & Verlan, S. (2015). P systems with generalized multisets over totally ordered Abelian groups. In G. Rozenberg, A. Salomaa, J. M. Sempere, C. Zandron (Eds.), Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17\u201321, 2015, Revised Selected Papers, Lecture Notes in Computer Science (Vol. 9504, pp. 117\u2013136). Springer: Berlin. https:\/\/doi.org\/10.1007\/978-3-319-28475-0_9","DOI":"10.1007\/978-3-319-28475-0_9"},{"issue":"4","key":"50_CR10","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., & Verlan, S. (2013). A formalization of membrane systems with dynamically evolving structures. International Journal of Computer Mathematics, 90(4), 801\u2013815. https:\/\/doi.org\/10.1080\/00207160.2012.748899.","journal-title":"International Journal of Computer Mathematics"},{"key":"50_CR11","doi-asserted-by":"publisher","unstructured":"Freund, R., & Verlan, S. (2007). A formal framework for static (tissue) P systems. In G. Eleftherakis, P. Kefalas, Gh. P\u0103un, G. Rozenberg, A. Salomaa (Eds.), Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25\u201328, 2007 Revised Selected and Invited Papers, Lecture Notes in Computer Science (Vol. 4860, pp. 271\u2013284). Springer: Berlin. https:\/\/doi.org\/10.1007\/978-3-540-77312-2_17","DOI":"10.1007\/978-3-540-77312-2_17"},{"issue":"2","key":"50_CR12","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/s11047-010-9215-z","volume":"10","author":"R Freund","year":"2011","unstructured":"Freund, R., & Verlan, S. (2011). (tissue) P systems working in the k-restricted minimally or maximally parallel transition mode. Natural Computing, 10(2), 821\u2013833.","journal-title":"Natural Computing"},{"issue":"30\u201332","key":"50_CR13","doi-asserted-by":"publisher","first-page":"2982","DOI":"10.1016\/j.tcs.2009.03.004","volume":"410","author":"OH Ibarra","year":"2009","unstructured":"Ibarra, O. H., P\u0103un, A., & Rodr\u00edguez-Pat\u00f3n, A. (2009). Sequential SNP systems based on min\/max spike number. Theoretical Computer Science, 410(30\u201332), 2982\u20132991.","journal-title":"Theoretical Computer Science"},{"issue":"2\u20133","key":"50_CR14","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.tcs.2006.11.025","volume":"372","author":"OH Ibarra","year":"2007","unstructured":"Ibarra, O. H., P\u0103un, A., P\u0103un, Gh, Rodr\u00edguez-Pat\u00f3n, A., Sos\u00edk, P., & Woodworth, S. (2007). Normal forms for spiking neural P systems. Theoretical Computer Science, 372(2\u20133), 196\u2013217. https:\/\/doi.org\/10.1016\/j.tcs.2006.11.025.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"50_CR15","first-page":"135","volume":"3","author":"M Ionescu","year":"2007","unstructured":"Ionescu, M., P\u0103un, Gh, & Yokomori, T. (2007). Spiking neural P systems with an exhaustive use of rules. International Journal of Unconventional Computing, 3(2), 135\u2013154.","journal-title":"International Journal of Unconventional Computing"},{"key":"50_CR16","doi-asserted-by":"crossref","unstructured":"Ionescu, M., P\u0103un, Gh., P\u00e9rez\u00a0Jim\u00e9nez, M.d.J., & Rodr\u00edguez\u00a0Pat\u00f3n, A. (2011). Spiking neural P systems with several types of spikes. In Proceedings of the Ninth Brainstorming Week on Membrane Computing (pp. 183\u2013192). Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica. F\u00e9nix Editora.","DOI":"10.15837\/ijccc.2011.4.2092"},{"issue":"2\u20133","key":"50_CR17","first-page":"279","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, Gh, & Yokomori, T. (2006). Spiking neural P systems. Fundamenta Informaticae, 71(2\u20133), 279\u2013308.","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"50_CR18","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s41965-019-00025-y","volume":"1","author":"Y Jiang","year":"2019","unstructured":"Jiang, Y., Su, Y., & Luo, F. (2019). An improved universal spiking neural P system with generalized use of rules. Journal of Membrane Computing, 1(4), 270\u2013278.","journal-title":"Journal of Membrane Computing"},{"issue":"3","key":"50_CR19","doi-asserted-by":"publisher","first-page":"273","DOI":"10.15837\/ijccc.2009.3.2435","volume":"4","author":"L Pan","year":"2009","unstructured":"Pan, L., & P\u0103un, Gh. (2009). Spiking neural P systems with anti-spikes. International Journal of Computers Communications & Control, 4(3), 273\u2013282.","journal-title":"International Journal of Computers Communications & Control"},{"issue":"08","key":"50_CR20","doi-asserted-by":"publisher","first-page":"1750042","DOI":"10.1142\/S0129065717500423","volume":"27","author":"L Pan","year":"2017","unstructured":"Pan, L., P\u0103un, Gh, Zhang, G., & Neri, F. (2017). Spiking neural P systems with communication on request. International Journal of Neural Systems, 27(08), 1750042.","journal-title":"International Journal of Neural Systems"},{"key":"50_CR21","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2015.10.027","volume":"623","author":"L Pan","year":"2016","unstructured":"Pan, L., P\u0103un, Gh, & Song, B. (2016). Flat maximal parallelism in P systems with promoters. Theoretical Computer Science, 623, 83\u201391. https:\/\/doi.org\/10.1016\/j.tcs.2015.10.027.","journal-title":"Theoretical Computer Science"},{"key":"50_CR22","first-page":"63","volume":"1","author":"L Pan","year":"2016","unstructured":"Pan, L., Wu, T., & Zhang, Z. (2016). A bibliography of spiking neural P systems. Bulletin of the International Membrane Computing Society, 1, 63\u201378.","journal-title":"Bulletin of the International Membrane Computing Society"},{"issue":"1","key":"50_CR23","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., & Jiang, Y. (2012). Spiking neural P systems with weighted synapses. Neural Processing Letters, 35(1), 13\u201327.","journal-title":"Neural Processing Letters"},{"issue":"6","key":"50_CR24","doi-asserted-by":"publisher","first-page":"1672","DOI":"10.1109\/TNNLS.2018.2872999","volume":"30","author":"H Peng","year":"2019","unstructured":"Peng, H., & Wang, J. (2019). Coupled neural P systems. IEEE Transactions on Neural Networks and Learning Systems, 30(6), 1672\u20131682.","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"50_CR25","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., Wang, T., Sun, Z., Song, X., et al. (2017). Spiking neural P systems with multiple channels. Neural Networks, 95, 66\u201371. https:\/\/doi.org\/10.1016\/j.neunet.2017.08.003.","journal-title":"Neural Networks"},{"volume-title":"The Oxford Handbook of Membrane Computing","year":"2010","key":"50_CR26","unstructured":"P\u0103un, Gh, Rozenberg, G., & Salomaa, A. (Eds.). (2010). The Oxford Handbook of Membrane Computing. Oxford, England: Oxford University Press."},{"key":"50_CR27","doi-asserted-by":"publisher","unstructured":"Rong, H., Wu, T., Pan, L., & Zhang, G. (2018). Spiking neural P systems: Theoretical results and applications. In: C. G. D\u00edaz, A. Riscos-N\u00fa\u00f1ez, Gh. P\u0103un, G. Rozenberg, A. Salomaa (Eds.), Enjoying Natural Computing - Essays Dedicated to Mario de Jes\u00fas P\u00e9rez-Jim\u00e9nez on the Occasion of His 70th Birthday, Lecture Notes in Computer Science (Vol. 11270, pp. 256\u2013268). Springer: Berlin. https:\/\/doi.org\/10.1007\/978-3-030-00265-7_20","DOI":"10.1007\/978-3-030-00265-7_20"},{"issue":"4","key":"50_CR28","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., & Zeng, X. (2017). Spiking neural P systems with colored spikes. IEEE Transactions on Cognitive and Developmental Systems, 10(4), 1106\u20131115.","journal-title":"IEEE Transactions on Cognitive and Developmental Systems"},{"key":"50_CR29","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., Ning, G., Sun, Z., Wang, T., 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"},{"key":"50_CR30","unstructured":"Verlan, S. (2013). Using the formal framework for P systems. In A. Alhazov, S. Cojocaru, M. Gheorghe, Yu. Rogozhin, G. Rozenberg, A. Salomaa (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, pp. 56\u201379). Springer: Berlin. Invited paper"},{"key":"50_CR31","unstructured":"Verlan, S., Freund, R., Alhazov, A., & Pan, L. (2019). A formal framework for spiking neural P systems. In Gh. P\u0103un (Ed.), Proceedings of the 20th International Conference on Membrane Computing, CMC20, August 5\u20138, 2019, Curtea de Arge\u015f, Romania (pp. 523\u2013535)."},{"key":"50_CR32","unstructured":"Verlan, S., & Quiros, J. (2012). Fast hardware implementations of P systems. In E. Csuhaj-Varj\u00fa, M. Gheorghe, G. Rozenberg, A. Salomaa, G. Vaszil (Eds.), Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, Lecture Notes in Computer Science (Vol. 7762, pp. 404\u2013423). Springer: Berlin."},{"issue":"10","key":"50_CR33","doi-asserted-by":"publisher","first-page":"2615","DOI":"10.1162\/NECO\\_a_00022","volume":"22","author":"J Wang","year":"2010","unstructured":"Wang, J., Hoogeboom, H. J., Pan, L., P\u0103un, Gh, & P\u00e9rez-Jim\u00e9nez, M. J. (2010). Spiking neural P systems with weights. Neural Computation, 22(10), 2615\u20132646. https:\/\/doi.org\/10.1162\/NECO_a_00022.","journal-title":"Neural Computation"},{"issue":"08","key":"50_CR34","doi-asserted-by":"publisher","first-page":"1850013","DOI":"10.1142\/S0129065718500132","volume":"28","author":"T Wu","year":"2018","unstructured":"Wu, T., B\u00eelb\u00eee, F. D., P\u0103un, A., Pan, L., & Neri, F. (2018). Simplified and yet Turing universal spiking neural P systems with communication on request. International Journal of Neural Systems, 28(08), 1850013.","journal-title":"International Journal of Neural Systems"},{"issue":"8","key":"50_CR35","doi-asserted-by":"publisher","first-page":"3349","DOI":"10.1109\/TNNLS.2017.2726119","volume":"29","author":"T Wu","year":"2018","unstructured":"Wu, T., P\u0103un, A., Zhang, Z., & Pan, L. (2018). Spiking neural P systems with polarizations. IEEE Transactions on Neural Networks and Learning Systems, 29(8), 3349\u20133360.","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"50_CR36","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.tcs.2015.12.038","volume":"623","author":"T Wu","year":"2016","unstructured":"Wu, T., Zhang, Z., P\u0103un, Gh, & Pan, L. (2016). Cell-like spiking neural P systems. Theoretical Computer Science, 623, 180\u2013189.","journal-title":"Theoretical Computer Science"}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00050-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-020-00050-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00050-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T20:19:48Z","timestamp":1634933988000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-020-00050-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,23]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["50"],"URL":"https:\/\/doi.org\/10.1007\/s41965-020-00050-2","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"type":"print","value":"2523-8906"},{"type":"electronic","value":"2523-8914"}],"subject":[],"published":{"date-parts":[[2020,10,23]]},"assertion":[{"value":"16 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 October 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}