{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T11:54:25Z","timestamp":1722426865369},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"national natural science foundation of china","doi-asserted-by":"publisher","award":["61972138","61872309"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s41965-021-00084-0","type":"journal-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T11:46:22Z","timestamp":1635248782000},"page":"296-302","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Solving a PSPACE-complete problem by symport\/antiport P systems with promoters and membrane division"],"prefix":"10.1007","volume":"3","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1479-5399","authenticated-orcid":false,"given":"Bosheng","family":"Song","sequence":"first","affiliation":[]},{"given":"Xiangxiang","family":"Zeng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"84_CR1","unstructured":"Alhazov, A., & Freund, R. (2005). P systems with one membrane and symport\/antiport rules of five symbols are computationally complete. In: Proceedings of Third Brainstorming Week On Membrane Computing, Sevilla, Spain, pp. 19\u201328."},{"key":"84_CR2","first-page":"135","volume-title":"Towards A characterization of P systems with minimal symport\/antiport and two membranes. Vol. 4361 of lecture notes in computer science","author":"A Alhazov","year":"2006","unstructured":"Alhazov, A., & Rogozhin, Y. (2006). Towards A characterization of P systems with minimal symport\/antiport and two membranes. Vol. 4361 of lecture notes in computer science (pp. 135\u2013153). Springer."},{"key":"84_CR3","first-page":"122","volume-title":"LNCS","author":"A Alhazov","year":"2007","unstructured":"Alhazov, A., & P\u00e9rez-Jim\u00e9nez, M. J. (2007). Uniform solution of QSAT using polarizationless active membranes. In J. Durand-Lose & M. Margenstern (Eds.), LNCS (Vol. 4664, pp. 122\u2013133). Springer."},{"issue":"4","key":"84_CR4","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s00236-016-0264-3","volume":"54","author":"B Aman","year":"2017","unstructured":"Aman, B., & Ciobanu, G. (2017). Efficiently solving the bin packing problem through bio-inspired mobility. Acta Informatica, 54(4), 435\u2013445.","journal-title":"Acta Informatica"},{"key":"84_CR5","unstructured":"Ardelean, I., D\u00edaz-Pernil, D., Guti\u00e9rrez-Naranjo, M.A., Pe\u00f1a-Cantillana, F., Reina-Molina, R., & Sarchizian, I. (2012) Counting cells with tissue-Like P systems. In: Proceedings of the Tenth Brainstorming Week on Membrane Computing, Sevilla, Spain, pp. 69\u201378."},{"key":"84_CR6","unstructured":"Bernardini, F., & Gheorghe, M. (2003) On the power of minimal symport\/antiport. In: Proceedings of the 3rd Workshop on Membrane Computing, Tarragona, pp. 72\u201383."},{"key":"84_CR7","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s00236-002-0090-7","volume":"38","author":"P Bottoni","year":"2002","unstructured":"Bottoni, P., Mart\u00edn-Vide, C., P\u0103un, G. H., & Rozenberg, G. (2002). Membrane systems with promoters\/inhibitors. Acta Informatica, 38, 695\u2013720.","journal-title":"Acta Informatica"},{"key":"84_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-016-9591-0","author":"L Cienciala","year":"2016","unstructured":"Cienciala, L., & Ciencialov\u00e1, L. (2016). Some new results of P colonies with bounded parameters. Natural Computing. https:\/\/doi.org\/10.1007\/s11047-016-9591-0","journal-title":"Natural Computing"},{"key":"84_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.tcs.2007.03.044","volume":"378","author":"G Ciobanu","year":"2007","unstructured":"Ciobanu, G., Pan, L., P\u0103un, G. H., & P\u00e9rez-Jim\u00e9nez, M. J. (2007). P systems with minimal parallelism. Theoretical Computer Science, 378, 117\u2013130.","journal-title":"Theoretical Computer Science"},{"key":"84_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.neucom.2012.12.032","volume":"115","author":"D D\u00edaz-Pernil","year":"2013","unstructured":"D\u00edaz-Pernil, D., Pe\u00f1a-Cantillana, F., & Guti\u00e9rrez-Naranjo, M. A. (2013). A parallel algorithm for skeletonizing images by using spiking neural P systems. Neurocomputing, 115, 81\u201391.","journal-title":"Neurocomputing"},{"issue":"2\u20133","key":"84_CR11","first-page":"279","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, G. H., & Yokomori, T. (2006). Spiking neural P systems. Fundamenta Informaticae, 71(2\u20133), 279\u2013308.","journal-title":"Fundamenta Informaticae"},{"issue":"6","key":"84_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/cplx.21691","volume":"21","author":"LF Mac\u00edas-Ramos","year":"2016","unstructured":"Mac\u00edas-Ramos, L. F., Song, B., Pan, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2016). Membrane fission: A computational complexity perspective. Complexity, 21(6), 321\u2013334.","journal-title":"Complexity"},{"issue":"2","key":"84_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(02)00659-X","volume":"296","author":"C Mart\u00edn-Vide","year":"2003","unstructured":"Mart\u00edn-Vide, C., Pazos, J., P\u0103un, G. H., & Rodr\u00edguez-Pat\u00f3n, A. (2003). Tissue P systems. Theoretical Computer Science, 296(2), 295\u2013326.","journal-title":"Theoretical Computer Science"},{"key":"84_CR14","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.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"84_CR15","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.jco.2010.03.001","volume":"26","author":"L Pan","year":"2010","unstructured":"Pan, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2010). Computational complexity of tissue-like P systems. Journal of Complexity, 26(3), 296\u2013315.","journal-title":"Journal of Complexity"},{"key":"84_CR16","first-page":"1","volume":"3745210","author":"L Pan","year":"2018","unstructured":"Pan, L., Song, B., Valencia-Cabrera, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2018). The computational complexity of tissue P systems with evolutional symport\/antiport rules. Complexity, 3745210, 1\u201322.","journal-title":"Complexity"},{"key":"84_CR17","volume-title":"Computational complexity","author":"CH Papadimitriou","year":"1994","unstructured":"Papadimitriou, C. H. (1994). Computational complexity. Addison-Wesley."},{"issue":"3","key":"84_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037362","volume":"20","author":"A P\u0103un","year":"2002","unstructured":"P\u0103un, A., & P\u0103un, G. H. (2002). The power of communication: P systems with symport\/antiport. New Generation Computing, 20(3), 295\u2013305.","journal-title":"New Generation Computing"},{"issue":"1","key":"84_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"GH P\u0103un","year":"2000","unstructured":"P\u0103un, G. H. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108\u2013143.","journal-title":"Journal of Computer and System Sciences"},{"key":"84_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing. An introduction","author":"GH P\u0103un","year":"2002","unstructured":"P\u0103un, G. H. (2002). Membrane computing. An introduction. Springer-Verlag."},{"key":"84_CR21","first-page":"1","volume":"64","author":"Gh P\u0103un","year":"2005","unstructured":"P\u0103un, Gh., Pazos, J., P\u00e9rez-Jim\u00e9nez, M. J., & Rodr\u00edguez-Pat\u00f3n, A. (2005). Symport\/antiport P systems with three objects are universal. Fundamenta Informaticae, 64, 1\u20134.","journal-title":"Fundamenta Informaticae"},{"key":"84_CR22","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."},{"key":"84_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.3233\/FI-2015-1197","volume":"138","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2015","unstructured":"P\u00e9rez-Jim\u00e9nez, M. J., & Sos\u00edk, P. (2015). An optimal frontier of the efficiency of tissue P systems with cell separation. Fundamenta Informaticae, 138, 45\u201360.","journal-title":"Fundamenta Informaticae"},{"key":"84_CR24","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.ins.2012.07.015","volume":"235","author":"H Peng","year":"2013","unstructured":"Peng, H., Wang, J., P\u00e9rez-Jim\u00e9nez, M. J., Wang, H., Shao, J., & Wang, T. (2013). Fuzzy reasoning spiking neural p system for fault diagnosis. Information Sciences, 235, 106\u2013116.","journal-title":"Information Sciences"},{"key":"84_CR25","unstructured":"Reina-Molina, R., D\u00edaz-Pernil, D., & Guti\u00e9rrez-Naranjo, M.A. (2012) Cell complexes and membrane computing for thinning 2D and 3D images. In: Proceedings of the Tenth Brainstorming Week on Membrane Computing, Sevilla, Spain, pp. 167\u2013186."},{"key":"84_CR26","volume-title":"Handbook of formal languages","year":"1997","unstructured":"Rozenberg, G., & Salomaa, A. (Eds.). (1997). Handbook of formal languages (Vol. 3). Springer."},{"key":"84_CR27","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.ic.2017.06.005","volume":"256","author":"B Song","year":"2017","unstructured":"Song, B., P\u00e9rez-Jim\u00e9nez, M. J., & Pan, L. (2017). An efficient time-free solution to QSAT problem using P systems with proteins on membranes. Information and Computation, 256, 287\u2013299.","journal-title":"Information and Computation"},{"key":"84_CR28","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2016.05.022","volume":"641","author":"B Song","year":"2016","unstructured":"Song, B., & Pan, L. (2016). The computational power of tissue-like P systems with promoters. Theoretical Computer Science, 641, 43\u201352.","journal-title":"Theoretical Computer Science"},{"key":"84_CR29","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.biosystems.2015.03.002","volume":"130","author":"B Song","year":"2015","unstructured":"Song, B., P\u00e9rez-Jim\u00e9nez, M. J., & Pan, L. (2015). Efficient solutions to hard computational problems by P systems with symport\/antiport rules and membrane division. BioSystems, 130, 51\u201358.","journal-title":"BioSystems"},{"key":"84_CR30","doi-asserted-by":"publisher","first-page":"104542","DOI":"10.1016\/j.ic.2020.104542","volume":"275","author":"B Song","year":"2020","unstructured":"Song, B., Li, K., Orellana-Mart\u00edn, D., Valencia-Cabrera, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2020). Cell-like P systems with evolutional symport\/antiport rules and membrane creation. Information and Computation, 275, 104542.","journal-title":"Information and Computation"},{"issue":"1","key":"84_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3431234","volume":"54","author":"B Song","year":"2021","unstructured":"Song, B., Li, K., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M. J., & P\u00e9rez-Hurtado, I. (2021). A survey of nature-inspired computing: Membrane computing. ACM Computing Surveys, 54(1), 1\u201331.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"84_CR32","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TCYB.2020.3003060","volume":"51","author":"B Song","year":"2021","unstructured":"Song, B., Zeng, X., Jiang, M., & P\u00e9rez-Jim\u00e9nez, M. J. (2021). Monodirectional tissue P systems with promoters. IEEE Transactions on Cybernetics, 51(1), 438\u2013450.","journal-title":"IEEE Transactions on Cybernetics"},{"key":"84_CR33","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.ins.2016.10.046","volume":"378","author":"B Song","year":"2017","unstructured":"Song, B., Zhang, C., & Pan, L. (2017). Tissue-like P systems with evolutional symport\/antiport rules. Information Sciences, 378, 177\u2013193.","journal-title":"Information Sciences"},{"key":"84_CR34","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.tcs.2013.03.009","volume":"488","author":"P Sos\u00edk","year":"2013","unstructured":"Sos\u00edk, P., P\u0103un, A., & Rodr\u00edguez-Pat\u00f3n, A. (2013). P systems with proteins on membranes characterize PSPACE. Theoretical Computer Science, 488, 78\u201395.","journal-title":"Theoretical Computer Science"},{"key":"84_CR35","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.ins.2014.04.007","volume":"279","author":"G Zhang","year":"2014","unstructured":"Zhang, G., Gheorghe, M., Pan, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2014). Evolutionary membrane computing: A comprehensive survey and new results. Information Sciences, 279, 528\u2013551.","journal-title":"Information Sciences"}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-021-00084-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-021-00084-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-021-00084-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,9]],"date-time":"2021-12-09T09:21:51Z","timestamp":1639041711000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-021-00084-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["84"],"URL":"https:\/\/doi.org\/10.1007\/s41965-021-00084-0","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"15 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}