{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T19:47:09Z","timestamp":1760384829719,"version":"3.34.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,4,23]],"date-time":"2008-04-23T00:00:00Z","timestamp":1208908800000},"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-9086-8","type":"journal-article","created":{"date-parts":[[2008,4,22]],"date-time":"2008-04-22T09:45:19Z","timestamp":1208857519000},"page":"453-470","source":"Crossref","is-referenced-by-count":15,"title":["Experiments on the reliability of stochastic spiking neural P systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Matteo","family":"Cavaliere","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Mura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,4,23]]},"reference":[{"key":"9086_CR2","doi-asserted-by":"crossref","unstructured":"Cavaliere M, Deufemia V (2006) Further results on time-free P systems. Int J Found Comp Sci 17(1):68\u201389. World Scientific","DOI":"10.1142\/S012905410600370X"},{"key":"9086_CR5","doi-asserted-by":"crossref","unstructured":"Cavaliere M, Sburlan D (2005) Time-independent P systems. In: International workshop on membrane computing 2004, Milano, Italy. Lect Notes Comput Sci 3365:239\u2013258. Springer","DOI":"10.1007\/978-3-540-31837-8_14"},{"key":"9086_CR6","unstructured":"Cavaliere M, Zandron C (2006) Time-driven computations in P systems. In: Guti\u00e9rrez-Naranjo MA et\u00a0al (eds) Proceedings of fourth brainstorming week on membrane computing, Fenix Editora, Sevilla"},{"key":"9086_CR3","unstructured":"Cavaliere M, Egecioglu O, Ibarra OH, Woodworth S, Ionescu M, P\u0103un Gh (2007a) Asynchronous spiking neural P systems, Tech. Report 9\/2007, Microsoft Research, University of Trento, Centre for Computational and Systems Biology, available at http:\/\/www.cosbi.eu"},{"key":"9086_CR4","doi-asserted-by":"crossref","unstructured":"Cavaliere M, Egecioglu O, Ibarra OH, Ionescu M, P\u0103un Gh, Woodworth S (2007b) Asynchronous spiking neural P systems; Decidability and undecidability. In: Proceedings of the 13th international meeting on DNA computing, DNA13. Lect Notes Comput Sci 4848:246\u2013255. Springer","DOI":"10.1007\/978-3-540-77962-9_26"},{"key":"9086_CR7","doi-asserted-by":"crossref","unstructured":"Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM, Sanders WH, Webster P (2001) The M\u00f6bius modeling tool. In: Proceedings of the 9th international workshop on petri nets and performance models (PNPM\u201901), IEEE Computer Society, pp 241\u2013250","DOI":"10.1109\/PNPM.2001.953373"},{"key":"9086_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1162\/089976600300015899","volume":"12","author":"W Gerstner","year":"2000","unstructured":"Gerstner W (2000) Population dynamics of spiking neurons: fast transients, asynchronous states, and locking. Neural Comput 12:43\u201389","journal-title":"Neural Comput"},{"key":"9086_CR12","doi-asserted-by":"crossref","first-page":"1716","DOI":"10.1126\/science.280.5370.1716","volume":"280","author":"JR Heath","year":"1998","unstructured":"Heath JR, Kuekes PJ, Snider GS, Williams S (1998) A Defect-tolerant computer architecture: opportunities for nanotechnology. Science 280:1716\u20131721","journal-title":"Science"},{"key":"9086_CR13","doi-asserted-by":"crossref","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, Rodr\u00edguez-Pat\u00f3n A, Sosik P, Woodworth S (2007) Normal forms for spiking neural P systems. Theor Comput Sci 372:196\u2013217","journal-title":"Theor Comput Sci"},{"key":"9086_CR14","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. Fundamenta Informaticae 71:279\u2013308","journal-title":"Fundamenta Informaticae"},{"key":"9086_CR11","doi-asserted-by":"crossref","unstructured":"Laprie JC (1995) Dependability\u2014its attributes, impairments and means. In: Randell B, Laprie JC, Kopetz H, Littlewood B (eds) Predictably dependable computing systems. Springer-Verlag, pp 3\u201324","DOI":"10.1007\/978-3-642-79789-7_1"},{"key":"9086_CR15","doi-asserted-by":"crossref","unstructured":"Maass W (1996) On the computational power of noisy spiking neurons. Adv Neural Inf Process Syst 8:212\u2013217. MIT Press","DOI":"10.1162\/neco.1996.8.1.1"},{"issue":"1","key":"9086_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1142\/S0129054103001649","volume":"14","author":"M Madhu","year":"2003","unstructured":"Madhu M (2003) Probabilistic rewriting P systems. Int J Found Comput Sci 14(1):157\u2013166","journal-title":"Int J Found Comput Sci"},{"key":"9086_CR17","doi-asserted-by":"crossref","unstructured":"Marsan MA (1989) Stochastic petri nets: an elementary introduction. In: Advances in petri nets. Lect Notes Comput Sci 424:1\u201329. Springer","DOI":"10.1007\/3-540-52494-0_23"},{"key":"9086_CR18","volume-title":"Computation\u2014finite and infinite machines","author":"M Minsky","year":"1967","unstructured":"Minsky M (1967) Computation\u2014finite and infinite machines. Prentice Hall, Englewood Cliffs"},{"issue":"2\u20133","key":"9086_CR19","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/j.tcs.2006.11.027","volume":"372","author":"M Muskulus","year":"2007","unstructured":"Muskulus M, Besozzi D, Brijder R, Cazzaniga P, Houweling S, Pescini D, Rozenberg G (2007) Cycles and communicating classes in membrane systems and molecular dynamics. Theor Comput Sci 372(2\u20133):242\u2013266","journal-title":"Theor Comput Sci"},{"issue":"2","key":"9086_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0303-2647(03)00034-0","volume":"70","author":"A Obtulowicz","year":"2003","unstructured":"Obtulowicz A, P\u0103un Gh (2003) (In search of) probabilistic P systems. BioSystems 70(2):107\u2013121","journal-title":"BioSystems"},{"key":"9086_CR21","doi-asserted-by":"crossref","unstructured":"P\u0103un Gh (2002) Membrane computing\u2014an introduction. Springer","DOI":"10.1007\/978-3-642-56196-2"},{"key":"9086_CR20","first-page":"145","volume":"91","author":"Gh P\u0103un","year":"2007","unstructured":"P\u0103un Gh (2007) Spiking neural P systems: a tutorial. Bull EATCS 91:145\u2013159","journal-title":"Bull EATCS"},{"issue":"4","key":"9086_CR22","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1142\/S0129054106004212","volume":"17","author":"Gh P\u0103un","year":"2006","unstructured":"P\u0103un Gh, P\u00e9rez-Jim\u00e9nez MJ, Rozenberg G (2006) Spike trains in spiking neural P systems. Int J Found Comput Sci 17(4):975\u20131002","journal-title":"Int J Found Comput Sci"},{"key":"9086_CR23","doi-asserted-by":"crossref","unstructured":"Pescini D, Besozzi D, Mauri G, Zandron C (2005) Analysis and simulation of dynamics in probabilistic P systems. In: Carbone A, Pierce N (eds) DNA computing, 11th international workshop on DNA computing. Lect Notes Comput Sci 3892. Springer","DOI":"10.1007\/11753681_19"},{"key":"9086_CR27","unstructured":"Salomaa A (1973) Formal languages. Academic Press, New York. Revised edition in the series \u201cComputer Science Classics\u201d, Academic Press, 1987"},{"key":"9086_CR26","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput. doi: 10.1007\/s11047-008-9067-9","journal-title":"Nat Comput"},{"key":"9086_CR30","unstructured":"The P Systems Web Page: http:\/\/ppage.psystems.eu"},{"key":"9086_CR28","unstructured":"Trivedi KH (2001) Probability and statistics with reliability, queuing, and computer science applications. Wiley"},{"key":"9086_CR29","doi-asserted-by":"crossref","unstructured":"Zavattaro G, Cardelli L (2008) Termination problems in chemical kinetics, available at http:\/\/lucacardelli.name\/","DOI":"10.1007\/978-3-540-85361-9_37"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9086-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-008-9086-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9086-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T21:18:51Z","timestamp":1738185531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-008-9086-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,23]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9086"],"URL":"https:\/\/doi.org\/10.1007\/s11047-008-9086-8","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2008,4,23]]}}}