{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T18:28:56Z","timestamp":1773340136921,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,5,14]],"date-time":"2008-05-14T00:00:00Z","timestamp":1210723200000},"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":[[2008,12]]},"DOI":"10.1007\/s11047-008-9083-y","type":"journal-article","created":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T07:53:07Z","timestamp":1210665187000},"page":"485-497","source":"Crossref","is-referenced-by-count":13,"title":["A software tool for verification of Spiking Neural P Systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Miguel A.","family":"Guti\u00e9rrez-Naranjo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Ram\u00edrez-Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,14]]},"reference":[{"key":"9083_CR1","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"226","author":"LM Adleman","year":"1994","unstructured":"Adleman LM (1994) Molecular computations of solutions to combinatorial problems. Science 226:1021\u20131024","journal-title":"Science"},{"key":"9083_CR2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1113\/jphysiol.1926.sp002273","volume":"61","author":"ED Adrian","year":"1926","unstructured":"Adrian ED (1926a) The impulses produced by sensory nerve endings. J Physiol 61:49\u201372","journal-title":"J Physiol"},{"key":"9083_CR3","volume-title":"The basis of Sensation","author":"ED Adrian","year":"1926","unstructured":"Adrian ED (1926b) The basis of Sensation. WW Norton, New York"},{"key":"9083_CR4","unstructured":"Bianco L, Fontana F, Franco G, Manca V (2006) P systems for biological dynamics. In Ciobanu G, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 83\u2013128"},{"key":"9083_CR5","unstructured":"Cavaliere M, Ardelean II (2006) Modelling respiration in bacteria and respiration\/photosynthesis interaction in cyanobacteria by using a P system simulator. In Ciobanu G, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 129\u2013158"},{"issue":"1\u20133","key":"9083_CR6","first-page":"61","volume":"49","author":"G Ciobanu","year":"2002","unstructured":"Ciobanu G, Paraschiv D (2002) P system software simulator. Fundam Inform 49(1\u20133):61\u201366","journal-title":"Fundam Inform"},{"key":"9083_CR8","doi-asserted-by":"crossref","unstructured":"Ciobanu G, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (eds) (2006) Applications of membrane computing. Natural Computing Series, Springer","DOI":"10.1007\/3-540-29937-8"},{"key":"9083_CR7","doi-asserted-by":"crossref","unstructured":"Ciobanu G, Wenyuan G (2004) P systems running on a cluster of computers. In: Mart\u00edn-Vide C, P\u0103un Gh, Rozenberg G, Salomaa A (eds) Membrane computing WMC 2003. Lect Notes Comput Sci 2933:123\u2013139","DOI":"10.1007\/978-3-540-24619-0_9"},{"key":"9083_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF00202899","volume":"60","author":"R Eckhorn","year":"1988","unstructured":"Eckhorn R, Bauer R, Jordan W, Brosch M, Kruse W, Munk M, Reitboeck HJ (1988) Coherent oscillations: a mechanism of feature linking in the visual cortex? Biol Cybern 60:121\u2013130","journal-title":"Biol Cybern"},{"key":"9083_CR10","doi-asserted-by":"crossref","unstructured":"Gray CM, Singer W (1989) Stimulus-specific neuronal oscillations in orientation columns of cat visual cortex. Proc Natl Acad Sci USA 86:1698\u20131702","DOI":"10.1073\/pnas.86.5.1698"},{"key":"9083_CR11","unstructured":"Group for Models of Natural Computing in Verona http:\/\/www.di.univr.it"},{"key":"9083_CR13","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Naranjo MA, P\u00e9rez-Jim\u00e9nez MJ, Riscos-N\u00fa\u00f1ez A (2005). On descriptive complexity of P systems. In: Mauri G, Paun Gh, P\u00e9rez-Jim\u00e9nez MJ, Rozenberg G, Salomaa A (eds) Membrane computing. Fifth International Workshop, WMC5 2004. Lect Notes Comput Sci 3365:320\u2013330","DOI":"10.1007\/978-3-540-31837-8_20"},{"key":"9083_CR12","unstructured":"Guti\u00e9rrez-Naranjo MA, P\u00e9rez-Jim\u00e9nez MJ, Riscos-N\u00fa\u00f1ez A (2006) Available membrane computing software. In Ciobanu G, P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 411\u2013439"},{"key":"9083_CR14","volume-title":"Adaptation in natural and artificial systems","author":"JH Holland","year":"1975","unstructured":"Holland JH (1975) Adaptation in natural and artificial systems. University of Michigan Press, Ann Arbor, MI"},{"key":"9083_CR15","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1113\/jphysiol.1959.sp006308","volume":"148","author":"DH Hubel","year":"1959","unstructured":"Hubel DH, Wiesel TN (1959) Receptive fields of single neurons in the cat\u2019s striate cortex. J Phisiol 148:574\u2013591","journal-title":"J Phisiol"},{"issue":"2\u20133","key":"9083_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FUN-2006-712-308","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu M, P\u0103un Gh, Yokomori T (2006) Spiking Neural P Systems. Fundam Inform 71(2\u20133):279\u2013308","journal-title":"Fundam Inform"},{"key":"9083_CR17","unstructured":"Mali\u0163a M (2000) Membrane Computing in Prolog, In: Calude CS, Dinneen MJ, P\u0103un Gh (eds) Pre-proceedings of the Workshop on Multiset Processing. Curtea de Arges, Romania, CDMTCS TR 140, Univ of Auckland, pp 159\u2013175"},{"key":"9083_CR18","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-45655-4_32","volume":"2387","author":"C Mart\u00edn Vide","year":"2002","unstructured":"Mart\u00edn Vide C, Pazos J, P\u0103un Gh, Rodr\u00edguez Pat\u00f3n A (2002) A new class of symbolic abstract neural nets: tissue P systems. Lect Notes Comput Sci 2387:290\u2013299","journal-title":"Lect Notes Comput Sci"},{"key":"9083_CR19","doi-asserted-by":"crossref","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 Gh, Rodr\u00edguez Pat\u00f3n A (2003) Tissue P systems. Theor Comput Sci 296:295\u2013326","journal-title":"Theor Comput Sci"},{"key":"9083_CR20","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch WS, Pitts W (1943) A logical calculus of the ideas immanent in nervous activity. Bull Math Biophys 5:115\u2013133","journal-title":"Bull Math Biophys"},{"key":"9083_CR21","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1152\/jn.1957.20.4.408","volume":"20","author":"VB Mountcastle","year":"1957","unstructured":"Mountcastle VB (1957) Modality and topographic properties of single neurons of cat\u2019s somatosensory cortex. J Neurophysiol 20:408\u2013434","journal-title":"J Neurophysiol"},{"key":"9083_CR22","unstructured":"P systems web page http:\/\/ppage.psystems.eu\/"},{"issue":"1","key":"9083_CR23","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"},{"key":"9083_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing. An introduction","author":"Gh P\u0103un","year":"2002","unstructured":"P\u0103un Gh (2002) Membrane computing. An introduction. Springer-Verlag, Berlin"},{"issue":"4","key":"9083_CR25","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1142\/S0129054106004212","volume":"17","author":"Gh P\u0103un","year":"2008","unstructured":"P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ, Rozenberg Gr (2008) Spike trains in Spiking Neural P Systems. Int J Found Comput Sci 17(4):975\u20131002","journal-title":"Int J Found Comput Sci"},{"key":"9083_CR26","unstructured":"Ram\u00edrez-Mart\u00ednez D, Guti\u00e9rrez-Naranjo MA (2007) A software tool for dealing with Spiking Neural P Systems. In: Guti\u00e9rrez-Naranjo MA, Paun Gh, Romero-Jim\u00e9nez A, Riscos\u2013N\u00fa\u00f1ez A (eds) Fifth brainstorming week on membrane computing. F\u00e9nix Editora, Sevilla, Spain, pp 299\u2013313"},{"issue":"1","key":"9083_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1162\/artl.2008.14.1.95","volume":"14","author":"FJ Romero-Campero","year":"2008","unstructured":"Romero-Campero FJ, P\u00e9rez-Jim\u00e9nez MJ (2008) A model of the quorum sensing system in vibrio fischeri using P systems. Artif Life 14(1):95\u2013109","journal-title":"Artif Life"},{"issue":"20","key":"9083_CR28","doi-asserted-by":"crossref","first-page":"2800","DOI":"10.1093\/bioinformatics\/btm416","volume":"23","author":"S Sedwards","year":"2007","unstructured":"Sedwards S, Mazza T (2007) Cyto-sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 23(20):2800\u20132802","journal-title":"Bioinformatics"},{"key":"9083_CR29","doi-asserted-by":"crossref","unstructured":"Suzuki Y, Fujiwara Y, Tanaka H, Takabayashi J (2001) Artificial life applications of a class of P systems: abstract rewriting systems on multisets. In Calude CS, Paun Gh, Rozenberg G, Salomaa A (eds) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lect Notes Comput Sci 2235:299\u2013346","DOI":"10.1007\/3-540-45523-X_16"},{"key":"9083_CR30","unstructured":"The Alaska Software web page http:\/\/www.alaska-software.com"},{"key":"9083_CR31","unstructured":"The SWI-Prolog web page http:\/\/www.swi-prolog.org"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9083-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-008-9083-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9083-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T07:04:43Z","timestamp":1738220683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-008-9083-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,14]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9083"],"URL":"https:\/\/doi.org\/10.1007\/s11047-008-9083-y","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,14]]}}}