{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:40:04Z","timestamp":1740505204031,"version":"3.38.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,9,9]],"date-time":"2010-09-09T00:00:00Z","timestamp":1283990400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11047-010-9214-0","type":"journal-article","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T08:28:40Z","timestamp":1283934520000},"page":"795-818","source":"Crossref","is-referenced-by-count":2,"title":["On the verification of membrane systems with dynamic structure"],"prefix":"10.1007","volume":"9","author":[{"given":"Giorgio","family":"Delzanno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent Van","family":"Begin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,9]]},"reference":[{"key":"9214_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla PA, \u010cer\u0101ns K, Jonsson B, Yih-Kuen T (1996) General decidability theorems for infinite-state systems. In: Proceedings of the 11th annual IEEE symposium on logic in computer science, LICS \u201996, New Brunswick, New Jersey, 27\u201330 July 1996. IEEE Computer Society Press, Westbury, pp 313\u2013321","DOI":"10.1109\/LICS.1996.561359"},{"issue":"7","key":"9214_CR2","first-page":"529","volume":"83","author":"A Alhazov","year":"2006","unstructured":"Alhazov A, Freund R, Riscos-N\u00fa\u00f1ez A (2006) Membrane division, restricted membrane creation and object complexity in P systems. Comput Math 83(7):529\u2013547","journal-title":"Comput Math"},{"key":"9214_CR3","doi-asserted-by":"crossref","unstructured":"Bernardini F, Manca V (2003) P systems with boundary rules. In: Proceedings of the international workshop on membrane computing, WMC \u201903, Curtea de Arges, Romania, August 19\u201323, 2002, Lecture notes in computer science 2597. Springer, Berlin, pp 107\u2013118","DOI":"10.1007\/3-540-36490-0_8"},{"key":"9214_CR4","doi-asserted-by":"crossref","unstructured":"Besozzi D, Zandron C, Mauri G, Sabadini N (2001) P systems with gemmation of mobile membranes. In: Proceedings of the 7th Italian conference on theoretical computer science, ICTCS \u201901, Torino, Italy, October 4\u20136, 2001. Lecture notes in computer science 2202. Springer, Berlin, pp 136\u2013153","DOI":"10.1007\/3-540-45446-2_9"},{"issue":"2","key":"9214_CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0304-3975(02)00657-6","volume":"296","author":"D Besozzi","year":"2003","unstructured":"Besozzi D, Mauri G, P\u0103un G, Zandron C (2003) Gemmating P systems: collapsing hierarchies. Theor Comput Sci 296(2):253\u2013267","journal-title":"Theor Comput Sci"},{"key":"9214_CR6","volume-title":"Term rewriting systems","author":"M Bezem","year":"2003","unstructured":"Bezem M, Klop JW, de Vrijer R (2003) Term rewriting systems. Cambridge University Press, Cambridge"},{"key":"9214_CR7","unstructured":"Dal Zilio S, Formenti E (2004) On the dynamics of PB systems: a Petri net view. In: Proceedings of the international workshop on membrane computing, WMC 2003, Tarragona, Spain, July 17\u201322, 2003, Revised Papers. Lecture notes in computer science 2933. Springer, Berlin, pp 153\u2013167"},{"issue":"2","key":"9214_CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.entcs.2007.05.008","volume":"171","author":"G Delzanno","year":"2007","unstructured":"Delzanno G, Montagna R (2007) On reachability and spatial reachability in fragments of bioambients. Electron Notes Theor Comput Sci 171(2):69\u201379","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9214_CR8","doi-asserted-by":"crossref","unstructured":"Delzanno G, Van Begin L (2007) On the dynamics of PB systems with volatile membranes. In: Proceedings of the International Workshop on Membrane Computing, WMC 2007, Tarragona, Spain, July 17\u201322, 2007. Lecture notes in computer science 4860. Springer, Berlin, pp 240\u2013256","DOI":"10.1007\/978-3-540-77312-2_15"},{"key":"9214_CR9","doi-asserted-by":"crossref","unstructured":"Delzanno G, Van Begin L (2008) A Biologically inspired model with fusion and clonation of membranes. In: Proceedings of the 7th international conference on unconventional computing, UC \u201908, Vienna, Austria, August 25\u201328, 2008. Lecture notes in computer science 5204. Springer, Berlin, pp 64\u201382","DOI":"10.1007\/978-3-540-85194-3_8"},{"key":"9214_CR11","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"LE Dickson","year":"1913","unstructured":"Dickson LE (1913) Finiteness of the odd perfect and primitive abundant numbers with distinct factors. Am J Math 35:413\u2013422","journal-title":"Am J Math"},{"issue":"1-2","key":"9214_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A Finkel","year":"2001","unstructured":"Finkel A, Schnoebelen Ph (2001) Well-structured transition systems everywhere! Theor Comput Sci 256(1\u20132):63\u201392","journal-title":"Theor Comput Sci"},{"key":"9214_CR13","doi-asserted-by":"crossref","unstructured":"Franco G, Manca V (2004) A membrane system for the leukocyte selective recruitment. In: Proceedings of the international workshop on membrane computing, WMC \u201903, Tarragona, Spain, July 17\u201322, 2003. Lecture notes in computer science 2933. Springer, Berlin, pp 181\u2013190","DOI":"10.1007\/978-3-540-24619-0_13"},{"issue":"2-3","key":"9214_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/j.tcs.2003.10.028","volume":"312","author":"OH Ibarra","year":"2004","unstructured":"Ibarra OH, Dang Z, Egecioglu \u00d6 (2004) Catalytic P systems, semilinear sets, and vector addition systems. Theor Comput Sci 312(2-3):379\u2013399","journal-title":"Theor Comput Sci"},{"key":"9214_CR17","unstructured":"Kosaraju SR (1982) Decidability of reachability in vector addition systems. In: Proceedings of the 14th annual ACM symposium on theory of computing, STOC \u201982, May 5\u20137, 1982. ACM, San Francisco, CA, pp 267\u2013281"},{"key":"9214_CR16","first-page":"210","volume":"95","author":"JB Kruskal","year":"1960","unstructured":"Kruskal JB (1960) Well-quasi ordering, the tree theorem, and Vazsonyi\u2019s conjecture. Trans Am Math Soc 95:210\u2013225","journal-title":"Trans Am Math Soc"},{"key":"9214_CR18","doi-asserted-by":"crossref","unstructured":"Li C, Dang Z, Ibarra OH, Yen H-C (2005) Signaling P systems and verification problems. In: Proceedings of the 32nd international colloquium on automata, languages and programming, ICALP \u201905. Lisbon, Portugal, July 11\u201315, 2005. Lecture notes in computer science 3580. Springer, Berlin, pp 1462\u20131473","DOI":"10.1007\/11523468_118"},{"issue":"3","key":"9214_CR19","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"EW Mayr","year":"1984","unstructured":"Mayr EW (1984) An algorithm for the general Petri net reachability problem. SIAM J Comput 13(3):441\u2013460","journal-title":"SIAM J Comput"},{"key":"9214_CR20","volume-title":"Computation: finite and infinite machines","author":"M Minsky","year":"1967","unstructured":"Minsky M (1967) Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs"},{"issue":"1","key":"9214_CR21","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh P\u0103un","year":"2000","unstructured":"P\u0103un Gh (2000) Computing with membranes. J Comput Syst Sci 61(1):108\u2013143","journal-title":"J Comput Syst Sci"},{"issue":"1","key":"9214_CR22","first-page":"75","volume":"6","author":"Gh P\u0103un","year":"2001","unstructured":"P\u0103un Gh (2001) P systems with active membranes: attacking NP-complete problems. J Autom Lang Comb 6(1):75\u201390","journal-title":"J Autom Lang Comb"},{"issue":"4","key":"9214_CR23","doi-asserted-by":"crossref","first-page":"467","DOI":"10.3233\/FUN-2006-72403","volume":"72","author":"A P\u0103un","year":"2006","unstructured":"P\u0103un A, Popa B (2006) P systems with proteins on membranes. Fundam Inform 72(4):467\u2013483","journal-title":"Fundam Inform"},{"issue":"1","key":"9214_CR24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.tcs.2004.03.053","volume":"324","author":"Gh P\u0103un","year":"2004","unstructured":"P\u0103un Gh, Suzuki Y, Tanaka H, Yokomori T (2004) On the power of membrane division in P systems. J Theor Comput Sci 324(1):61\u201385","journal-title":"J Theor Comput Sci"},{"key":"9214_CR25","first-page":"588","volume":"9","author":"I Petre","year":"1999","unstructured":"Petre I, Petre L (1999) Mobile ambients and P-systems. J Univers Comput Sci 9:588\u2013598","journal-title":"J Univers Comput Sci"},{"key":"9214_CR28","unstructured":"Petri CA (1962) Kommunikation mit Automaten. Ph.D. Thesis, University of Bonn"},{"issue":"1","key":"9214_CR26","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) BioAmbients: an abstraction for biological compartments. J Theor Comput Sci 325(1):141\u2013167","journal-title":"J Theor Comput Sci"},{"issue":"5","key":"9214_CR27","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","volume":"83","author":"Ph Schnoebelen","year":"2002","unstructured":"Schnoebelen Ph (2002) Verifying lossy channel systems has nonprimitive recursive complexity. Inform Process Lett 83(5):251\u2013261","journal-title":"Inform Process Lett"},{"key":"9214_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets\u2014an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets\u2014an introduction. Springer, Berlin"},{"key":"9214_CR29","unstructured":"The P Systems Webpage http:\/\/www.ppage.psystems.eu\/"},{"key":"9214_CR31","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.entcs.2008.12.111","volume":"227","author":"G Zavattaro","year":"2009","unstructured":"Zavattaro G (2009) Reachability analysis in bioambients. Electron Notes Theor Comput Sci 227:179\u2013193","journal-title":"Electron Notes Theor Comput Sci"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9214-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9214-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9214-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T16:53:42Z","timestamp":1740502422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9214-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,9]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9214"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9214-0","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2010,9,9]]}}}