{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:09:57Z","timestamp":1767236997312,"version":"3.41.0"},"publisher-location":"Singapore","reference-count":72,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811036101"},{"type":"electronic","value":"9789811036118"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-981-10-3611-8_23","type":"book-chapter","created":{"date-parts":[[2017,1,7]],"date-time":"2017-01-07T04:29:56Z","timestamp":1483763396000},"page":"249-277","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Tools and Simulators for Membrane Computing-A Literature Review"],"prefix":"10.1007","author":[{"given":"S.","family":"Raghavan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Chandrasekaran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,8]]},"reference":[{"key":"23_CR1","unstructured":"CLIPS. www.ghg.net\/clips\/CLIPS.html"},{"key":"23_CR2","unstructured":"MeCoGUI. https:\/\/www.p-lingua.org\/wiki\/index.php\/MeCoGUI"},{"key":"23_CR3","unstructured":"Multi-Compartmental Stoachastic Simulation. http:\/\/www.infobiotics.org\/completeDocumentation\/modelSimulation\/modelSimulation.html"},{"key":"23_CR4","unstructured":"Parallel Programming and Computing Platform \u2014 CUDA. http:\/\/www.nvidia.com\/object\/cuda_home_new.html"},{"key":"23_CR5","unstructured":"PMCGPU. http:\/\/www.p-lingua.org\/wiki\/index.php\/PMCGPU"},{"key":"23_CR6","unstructured":"PRISM Model Checker. http:\/\/www.prismmodelchecker.org\/"},{"key":"23_CR7","unstructured":"What is ANTLR? http:\/\/www.antlr.org\/"},{"key":"23_CR8","unstructured":"Software - The P Systems Page (2016). http:\/\/ppage.psystems.eu\/index.php\/Software"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1024943605864","volume":"2","author":"II Ardelean","year":"2003","unstructured":"Ardelean, I.I., Cavaliere, M.: Modelling biological processes by using a probabilistic P system software. Nat. Comput. 2(2), 173\u2013197 (2003)","journal-title":"Nat. Comput."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36490-0_2","volume-title":"Membrane Computing","author":"F Arroyo","year":"2003","unstructured":"Arroyo, F., Luengo, C., Baranda, A.V., Mingo, L.: A software simulation of transition P systems in Haskell. In: P\u0102un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 19\u201332. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36490-0_2"},{"key":"23_CR11","unstructured":"Bangalan, Z.F., Soriano, K.A.N., Juayong, R.A.B., Cabarle, F.G.C., Adorna, H.N., del Amor, M.A.M., et al.: A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules (2013)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Bianco, L., Manca, V., Marchetti, L., Petterlini, M.: Psim: a simulator for biomolecular dynamics based on P systems. In: 2007 IEEE Congress on Evolutionary Computation, pp. 883\u2013887. IEEE (2007)","DOI":"10.1109\/CEC.2007.4424563"},{"issue":"23","key":"23_CR13","doi-asserted-by":"publisher","first-page":"3323","DOI":"10.1093\/bioinformatics\/btr571","volume":"27","author":"J Blakes","year":"2011","unstructured":"Blakes, J., Twycross, J., Romero, F.J., Krasnogor, N., et al.: The infobiotics workbench: an integrated in silico modelling platform for systems and synthetic biology. Bioinformatics 27(23), 3323\u20133324 (2011)","journal-title":"Bioinformatics"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11560319_7","volume-title":"Unconventional Computation","author":"C Bonchi\u015f","year":"2005","unstructured":"Bonchi\u015f, C., Ciobanu, G., Izba\u015fa, C., Petcu, D.: A web-based P systems simulator and its parallelization. In: Calude, C.S., Dinneen, M.J., P\u0103un, G., P\u00e9rez-J\u00edmenez, M.J., Rozenberg, G. (eds.) UC 2005. LNCS, vol. 3699, pp. 58\u201369. Springer, Heidelberg (2005). doi: 10.1007\/11560319_7"},{"key":"23_CR15","unstructured":"Borrego-Ropero, R., D\u0131az-Pernil, D., P\u00e9rez-Jim\u00e9nez, M.J.: Tissue simulator: a graphical tool for tissue P systems. In: Proceedings of the International Workshop Automata for Cellular and Molecular Computing. Satellite of the 16th International Symposium on Fundamentals of Computational Theory. MTA SZTAKI, Budapest, Hungary, pp. 23\u201334 (2007)"},{"issue":"3","key":"23_CR16","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.biosystems.2010.11.013","volume":"103","author":"C Buiu","year":"2011","unstructured":"Buiu, C., Arsene, O., Cipu, C., Patrascu, M.: A software tool for modeling and simulation of numerical P systems. BioSystems 103(3), 442\u2013447 (2011)","journal-title":"BioSystems"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Cabarle, F., Adorna, H., Martinez-del Amor, M.A.: Simulating Spiking Neural P systems without delays using GPUs (2014)","DOI":"10.4018\/978-1-4666-4253-9.ch006"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-28024-5_8","volume-title":"Membrane Computing","author":"FGC Cabarle","year":"2012","unstructured":"Cabarle, F.G.C., Adorna, H., Mart\u00ednez, M.A.: A spiking neural P system simulator based on CUDA. In: Gheorghe, M., P\u0103un, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 87\u2013103. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28024-5_8"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Cabarle, F.G.C., Adorna, H., Martinez-del Amor, M.A.: An improved GPU simulator for spiking neural P systems. In: 2011 Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), pp. 262\u2013267. IEEE (2011)","DOI":"10.1109\/BIC-TA.2011.37"},{"issue":"1","key":"23_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13062-015-0070-9","volume":"10","author":"M Campos","year":"2015","unstructured":"Campos, M., Llorens, C., Sempere, J.M., Futami, R., Rodriguez, I., Carrasco, P., Capilla, R., Latorre, A., Coque, T.M., Moya, A., et al.: A membrane computing simulator of trans-hierarchical antibiotic resistance evolution dynamics in nested ecological compartments (ARES). Biol. Direct 10(1), 1 (2015)","journal-title":"Biol. Direct"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-95885-7_12","volume-title":"Membrane Computing","author":"A Castellini","year":"2009","unstructured":"Castellini, A., Manca, V.: MetaPlab: a computational framework for metabolic P systems. In: Corne, D.W., Frisco, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 157\u2013168. Springer, Heidelberg (2009). doi: 10.1007\/978-3-540-95885-7_12"},{"issue":"6","key":"23_CR22","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.jlap.2010.03.008","volume":"79","author":"JM Cecilia","year":"2010","unstructured":"Cecilia, J.M., Garc\u00eda, J.M., Guerrero, G.D., Mart\u00ednez-del Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. J. Logic Algebraic Program. 79(6), 317\u2013325 (2010)","journal-title":"J. Logic Algebraic Program."},{"issue":"3","key":"23_CR23","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1093\/bib\/bbp064","volume":"11","author":"JM Cecilia","year":"2010","unstructured":"Cecilia, J.M., Garc\u00eda, J.M., Guerrero, G.D., Mart\u00ednez-del Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J.: Simulation of P systems with active membranes on CUDA. Brief. Bioinform. 11(3), 313\u2013322 (2010)","journal-title":"Brief. Bioinform."},{"issue":"1\u20133","key":"23_CR24","first-page":"61","volume":"49","author":"G Ciobanu","year":"2002","unstructured":"Ciobanu, G., Paraschiv, D.: P system software simulator. Fundamenta Informaticae 49(1\u20133), 61\u201366 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR25","volume-title":"Applications of Membrane Computing","author":"G Ciobanu","year":"2006","unstructured":"Ciobanu, G., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J.: Applications of Membrane Computing, vol. 17. Springer, Heidelberg (2006)"},{"key":"23_CR26","unstructured":"Ciobanu, G., Paun, G., Stefanescu, G.: Sevilla carpets associated with P systems. In: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, Spain, pp. 135\u2013140 (2003)"},{"key":"23_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-24619-0_9","volume-title":"Membrane Computing","author":"G Ciobanu","year":"2004","unstructured":"Ciobanu, G., Wenyuan, G.: P systems running on a cluster of computers. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 123\u2013139. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24619-0_9"},{"issue":"4","key":"23_CR28","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF03037286","volume":"22","author":"A Cord\u00f3n-Franco","year":"2004","unstructured":"Cord\u00f3n-Franco, A., Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J., Sancho-Caparrini, F.: A prolog simulator for deterministic P systems with active membranes. New Gen. Comput. 22(4), 349\u2013363 (2004)","journal-title":"New Gen. Comput."},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Das, D.K., Renz, T.: A simulation model for P systems with active membranes. In: 2006 IEEE Conference on Emerging Technologies-Nanoelectronics, pp. 338\u2013340. IEEE (2006)","DOI":"10.1109\/NANOEL.2006.1609742"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"D\u00edaz Pernil, D., de Mendoza, I.P.H., de Jes\u00fas P\u00e9rez Jim\u00e9nez, M., N\u00fa\u00f1ez, A.R., et al.: P-Lingua: A Programming Language for Membrane Computing (2008)","DOI":"10.1007\/978-3-540-95885-7_14"},{"key":"23_CR31","unstructured":"Manuel Garca-Quismondo Fernndez. A Java-Based P-Lingua Simulator for Enzymatic Numerical P Systems Available. http:\/\/www.cs.us.es\/blogs\/mgarcia\/research\/software_tools\/java_simulator_enps\/"},{"key":"23_CR32","unstructured":"Florea, A.G., Buiu, C.: Lulu-a software simulator for P colonies. Use case scenarios and demonstration videos (2015)"},{"key":"23_CR33","first-page":"189","volume":"12","author":"AG Florea","year":"2016","unstructured":"Florea, A.G., Buiu, C.: Development of a software simulator for P colonies-applications in robotics. Int. J. Unconv. Comput. 12, 189\u2013205 (2016)","journal-title":"Int. J. Unconv. Comput."},{"key":"23_CR34","doi-asserted-by":"crossref","unstructured":"Frisco, P., Gibson, R.T.: A simulator and an evolution program for conformon-P systems. In: SYNASC, vol. 7, pp. 26\u201327 (2005)","DOI":"10.1109\/SYNASC.2005.14"},{"key":"23_CR35","unstructured":"Ciobanu, G., Paraschiv, D.: Membrane software. A P system simulator. Technical report, Pre-Proceedings of Workshop on Membrane Computing, Curtea de Arges, Romania, August 2001, Technical report 17\/01 of Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain (2001)"},{"key":"23_CR36","unstructured":"Quismondo, M.G., Pavel, A.B., de Jes\u00fas P\u00e9rez Jim\u00e9nez, M. et al.: Simulating Large-Scale ENPS Models by Means of GPU (2012)"},{"key":"23_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-14370-5_12","volume-title":"Membrane Computing","author":"M Garc\u00eda-Quismondo","year":"2014","unstructured":"Garc\u00eda-Quismondo, M., Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Jim\u00e9nez, M.J.: Probabilistic guarded P systems, a new formal modelling framework. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sos\u00edk, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 194\u2013214. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-14370-5_12"},{"key":"23_CR38","unstructured":"Gheorghe, M.: System Modeling Framework (2016). http:\/\/staffwww.dcs.shef.ac.uk\/people\/M.Gheorghe\/PSimulatorWeb\/Tools.htm"},{"issue":"1","key":"23_CR39","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"G Paun","year":"2002","unstructured":"Paun, G., Rozenberg, G.: A guide to membrane computing. Theor. Comput. Sci. 287(1), 73\u2013100 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Monte carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 271\u2013286. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31980-1_18"},{"key":"23_CR41","unstructured":"Naranjo, M.A.G., de Jes\u00fas P\u00e9rez Jim\u00e9nez, M., N\u00fa\u00f1ez, A.R., et al.: A Simulator for Confluent P Systems (2005)"},{"issue":"4","key":"23_CR42","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., Arkin, A.P., Bornstein, B.J., Bray, D., Cornish-Bowden, A., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"23_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11925903_1","volume-title":"DNA Computing","author":"M Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, A., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J.: Computing with spiking neural P systems: traces and small universal systems. In: Mao, C., Yokomori, T. (eds.) DNA 2006. LNCS, vol. 4287, pp. 1\u201316. Springer, Heidelberg (2006). doi: 10.1007\/11925903_1"},{"issue":"2, 3","key":"23_CR44","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, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2, 3), 279\u2013308 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-28024-5_18","volume-title":"Membrane Computing","author":"LF Mac\u00edas\u2013Ramos","year":"2012","unstructured":"Mac\u00edas\u2013Ramos, L.F., P\u00e9rez\u2013Hurtado, I., Garc\u00eda\u2013Quismondo, M., Valencia\u2013Cabrera, L., P\u00e9rez\u2013Jim\u00e9nez, M.J., Riscos\u2013N\u00fa\u00f1ez, A.: A P\u2013lingua based simulator for spiking neural P systems. In: Gheorghe, M., P\u0103un, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 257\u2013281. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28024-5_18"},{"issue":"2","key":"23_CR46","doi-asserted-by":"publisher","first-page":"211","DOI":"10.3233\/FI-2015-1232","volume":"139","author":"LF Mac\u00edas-Ramos","year":"2015","unstructured":"Mac\u00edas-Ramos, L.F., Valencia-Cabrera, L., Song, B., Song, T., Pan, L., P\u00e9rez-Jim\u00e9nez, M.J.: A P_lingua based simulator for P systems with symport\/antiport rules. Fundamenta Informaticae 139(2), 211\u2013227 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR47","unstructured":"Malita, M.: Membrane computing in prolog. In: Pre-Proceedings of The Workshop on Multiset Processing (WMP-CdeA 2000), p. 8 (2000)"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-319-03756-1_23","volume-title":"Swarm, Evolutionary, and Memetic Computing","author":"A Maroosi","year":"2013","unstructured":"Maroosi, A., Muniyandi, R.C.: Accelerated simulation of membrane computing to solve the N-queens problem on multi-core. In: Panigrahi, B.K., Suganthan, P.N., Das, S., Dash, S.S. (eds.) SEMCCO 2013. LNCS, vol. 8298, pp. 257\u2013267. Springer, Heidelberg (2013). doi: 10.1007\/978-3-319-03756-1_23"},{"key":"23_CR49","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.protcy.2013.12.179","volume":"11","author":"A Maroosi","year":"2013","unstructured":"Maroosi, A., Muniyandi, R.C., Sundararajan, E.A., Zin, A.M.: Improved implementation of simulation for membrane computing on the graphic processing unit. Procedia Technol. 11, 184\u2013190 (2013)","journal-title":"Procedia Technol."},{"key":"23_CR50","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-662-45049-9_50","volume-title":"Bio-Inspired Computing - Theories and Applications","author":"MA Mart\u00ednez-del-Amor","year":"2014","unstructured":"Mart\u00ednez-del-Amor, M.A., Mac\u00edas-Ramos, L.F., Valencia-Cabrera, L., Riscos-N\u00fa\u00f1ez, A., P\u00e9rez-Jim\u00e9nez, M.J.: Accelerated simulation of P systems on the GPU: a survey. In: Pan, L., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Song, T. (eds.) BIC-TA 2014. CCIS, vol. 472, pp. 308\u2013312. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45049-9_50"},{"key":"23_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-36751-9_18","volume-title":"Membrane Computing","author":"MA Mart\u00ednez-del-Amor","year":"2013","unstructured":"Mart\u00ednez-del-Amor, M.A., et al.: DCBA: simulating population dynamics P systems with proportional object distribution. In: Csuhaj-Varj\u00fa, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 257\u2013276. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36751-9_18"},{"issue":"6","key":"23_CR52","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.jlap.2010.03.009","volume":"79","author":"MA Mart\u00ednez-del Amor","year":"2010","unstructured":"Mart\u00ednez-del Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A P-lingua based simulator for tissue P systems. J. Logic Algebraic Program. 79(6), 374\u2013382 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"23_CR53","unstructured":"Mart\u00ednez del Amor, M.A., Karlin, I., Jensen, R.E., de Jes\u00fas P\u00e9rez Jim\u00e9nez, M., Elster, A.C., et al.: Parallel simulation of probabilistic P systems on multicore platforms. In: Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. 2, pp. 17\u201326. Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica, 30 de Enero-3 de Febrero (2012)"},{"key":"23_CR54","unstructured":"del Amor, M.A.M., Carrasco, J.P., de Jes\u00fas P\u00e9rez Jim\u00e9nez, M., et al.: Simulating a Family of Tissue P Systems Solving SAT on the GPU (2013)"},{"key":"23_CR55","unstructured":"de los \u00c1ngeles Nepomuceno Chamorro, I., et al.: A Java Simulator for Basic Transition P Systems (2004)"},{"key":"23_CR56","unstructured":"de los \u00c1ngeles Nepomuceno Chamorro, I., Chamorro, J.A.N., Campero, F.J.R., et al.: A tool for using the SBML format to represent P systems which model biological reaction networks (2005)"},{"key":"23_CR57","first-page":"303","volume-title":"Applications of Membrane Computing","author":"TY Nishida","year":"2006","unstructured":"Nishida, T.Y.: Membrane algorithms: approximate algorithms for NP-complete optimization problems. In: Ciobanu, G., Paun, G., P\u00e9rez-Jim\u00e9nez, M.J. (eds.) Applications of Membrane Computing, pp. 303\u2013314. Springer, Heidelberg (2006)"},{"key":"23_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36490-0_5","volume-title":"Membrane Computing","author":"D Balbont\u00edn Noval","year":"2003","unstructured":"Balbont\u00edn Noval, D., P\u00e9rez Jim\u00e9nez, M.J., Sancho Caparrini, F.: A MzScheme implementation of transition P systems. In: P\u0102un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 58\u201373. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36490-0_5"},{"key":"23_CR59","unstructured":"Pieris Oleracea. PGSP Systems. http:\/\/www.p-lingua.org\/wiki\/index.php\/PGSP_systems:_Pieris_oleracea"},{"key":"23_CR60","unstructured":"Mart\u00edn, D.O., D\u00edaz, C.G., del Amor, M.\u00c1.M., N\u00fa\u00f1ez, A.R., Cabrera, L.V., et al.: Revisiting sevilla carpets: a new tool for the P-lingua era. In: Proceedings of the Twelfth Brainstorming Week on Membrane Computing, pp. 281\u2013292. Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica, 3\u20137 de Febrero (2014)"},{"key":"23_CR61","volume-title":"Membrane Computing: An Introduction","author":"G Paun","year":"2012","unstructured":"Paun, G.: Membrane Computing: An Introduction. Springer Science & Business Media, Heidelberg (2012)"},{"key":"23_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11467-0","volume-title":"The Oxford Handbook of Membrane Computing","author":"G Paun","year":"2010","unstructured":"Paun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., Oxford (2010)"},{"issue":"1","key":"23_CR63","first-page":"89","volume":"17","author":"I Perez-Hurtado","year":"2014","unstructured":"Perez-Hurtado, I., Valencia-Cabrera, L., Chacon, J.M., Riscos-Nunez, A., Perez-Jimenez, M.J.: A P-lingua based simulator for tissue P systems with cell separation. Sce. Technol. 17(1), 89\u2013102 (2014)","journal-title":"Sce. Technol."},{"key":"23_CR64","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Hurtado, I., Valencia-Cabrera, L., P\u00e9rez-Jim\u00e9nez, M.J., Colomer, M.A., Riscos-N\u00fa\u00f1ez, A.: MeCoSim: a general purpose software tool for simulating biological phenomena by means of P systems. In: 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), pp. 637\u2013643. IEEE (2010)","DOI":"10.1109\/BICTA.2010.5645199"},{"key":"23_CR65","unstructured":"de Jes\u00fas P\u00e9rez Jim\u00e9nez, M., Campero, F.J.R., et al.: A CLIPS Simulator for Recognizer P Systems with Active Membranes (2004)"},{"issue":"01","key":"23_CR66","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1142\/S0129054106003760","volume":"17","author":"D Pescini","year":"2006","unstructured":"Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(01), 183\u2013204 (2006)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"23_CR67","unstructured":"Mart\u00ednez, D.R., Naranjo, M.A.G., et al.: A Software Tool for Dealing with Spiking Neural P Systems (2007)"},{"issue":"4","key":"23_CR68","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1049\/cje.2015.10.012","volume":"24","author":"C Ravie","year":"2015","unstructured":"Ravie, C., Ali, M.: Enhancing the simulation of membrane system on the GPU for the N-queens problem. Chin. J. Electron. 24(4), 740\u2013743 (2015)","journal-title":"Chin. J. Electron."},{"issue":"2","key":"23_CR69","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1007\/s11047-010-9198-9","volume":"10","author":"E Rivero-Gil","year":"2011","unstructured":"Rivero-Gil, E., Guti\u00e9rrez-Naranjo, M.A., Romero-Jim\u00e9nez, A., Riscos-N\u00fa\u00f1ez, A.: A software tool for generating graphics by means of P systems. Nat. Comput. 10(2), 879\u2013890 (2011)","journal-title":"Nat. Comput."},{"issue":"20","key":"23_CR70","doi-asserted-by":"publisher","first-page":"2800","DOI":"10.1093\/bioinformatics\/btm416","volume":"23","author":"S Sedwards","year":"2007","unstructured":"Sedwards, S., Mazza, T.: Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 23(20), 2800\u20132802 (2007)","journal-title":"Bioinformatics"},{"issue":"2","key":"23_CR71","first-page":"173","volume":"3","author":"Y Suzuki","year":"2000","unstructured":"Suzuki, Y., Tanaka, H.: On a LISP implementation of a class of P systems. Rom. J. Inf. Sci. Technol. 3(2), 173\u2013186 (2000)","journal-title":"Rom. J. Inf. Sci. Technol."},{"key":"23_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-540-24619-0_25","volume-title":"Membrane Computing","author":"A Syropoulos","year":"2004","unstructured":"Syropoulos, A., Mamatas, E.G., Allilomes, P.C., Sotiriades, K.T.: A distributed simulation of transition P systems. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 357\u2013368. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24619-0_25"}],"container-title":["Communications in Computer and Information Science","Bio-inspired Computing \u2013 Theories and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3611-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T02:55:18Z","timestamp":1749869718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3611-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9789811036101","9789811036118"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3611-8_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"8 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIC-TA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bio-Inspired Computing: Theories and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bicta2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2016.bicta.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}