{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T18:19:11Z","timestamp":1759601951141,"version":"3.40.5"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319143699"},{"type":"electronic","value":"9783319143705"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14370-5_12","type":"book-chapter","created":{"date-parts":[[2014,12,16]],"date-time":"2014-12-16T11:07:01Z","timestamp":1418728021000},"page":"194-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic Guarded P Systems, A New Formal Modelling Framework"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Garc\u00eda-Quismondo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel A.","family":"Mart\u00ednez-del-Amor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,17]]},"reference":[{"issue":"23","key":"12_CR1","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-Campero, F.J., Krasnogor, N.: The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. Bioinformatics 27(23), 3323\u20133324 (2011)","journal-title":"Bioinformatics"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Colomer, M.A., Garc\u00eda-Quismondo, M., Mac\u00edas-Ramos, L.F., Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Valencia-Cabrera, L.: Membrane system-based models for specifying Dynamical Population systems. In: Applications of Membrane Computing in Systems and Synthetic Biology. Emergence, Complexity and Computation series, Chap. 4, vol. 7, pp. 97\u2013132. Springer (2014)","DOI":"10.1007\/978-3-319-03191-0_4"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11047-010-9191-3","volume":"10","author":"M Cardona","year":"2011","unstructured":"Cardona, M., Colomer, M.A., Margalida, A., Palau, A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Sanuy, D.: A computational modeling for real ecosystems based on P systems. Natural Computing 10(1), 39\u201353 (2011)","journal-title":"Natural Computing"},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1080\/10020070708541019","volume":"17","author":"S Cheruku","year":"2007","unstructured":"Cheruku, S., P\u0103un, A., Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J., Ibarra, O.H.: Simulating FAS-induced apoptosis by using P systems. Progress in Natural Science 17(4), 424\u2013431 (2007)","journal-title":"Progress in Natural Science"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-18123-8_13","volume-title":"Membrane Computing","author":"MA Colomer","year":"2010","unstructured":"Colomer, M.A., et al.: Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P-systems. In: Gheorghe, M., Hinze, T., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 144\u2013159. Springer, Heidelberg (2010)"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.ecolmodel.2010.09.012","volume":"222","author":"MA Colomer","year":"2011","unstructured":"Colomer, M.A., Margalida, A., Sanuy, D., P\u00e9rez-Jim\u00e9nez, M.J.: A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study. Ecological Modelling 222(1), 33\u201347 (2011)","journal-title":"Ecological Modelling"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Colomer, M.A., Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A uniform framework for modeling based on P Systems. In: Proceedings IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), vol. 1, pp. 616\u2013621 (2010)","DOI":"10.1109\/BICTA.2010.5645196"},{"issue":"5","key":"12_CR8","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1086\/283860","volume":"118","author":"FS Chew","year":"1981","unstructured":"Chew, F.S.: Coexistence and local extinction in two pierid butterflies. The American Naturalist 118(5), 655\u2013672 (1981)","journal-title":"The American Naturalist"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0167-9473(93)90115-A","volume":"16","author":"CS Davis","year":"1993","unstructured":"Davis, C.S.: The computer generation of multinomial random variates. Computational Statistics and Data Analysis 16(2), 205\u2013217 (1993)","journal-title":"Computational Statistics and Data Analysis"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Frisco, P., Gheorghe, M., P\u00e9rez-Jim\u00e9nez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer (2014)","DOI":"10.1007\/978-3-319-03191-0"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-11467-0_20","volume-title":"Membrane Computing","author":"M Garc\u00eda-Quismondo","year":"2010","unstructured":"Garc\u00eda-Quismondo, M., Guti\u00e9rrez-Escudero, R., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: An overview of P-Lingua 2.0. In: P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 264\u2013288. Springer, Heidelberg (2010)"},{"key":"12_CR12","unstructured":"Gheorghe, M., Ipate, F., Dragomir, C., Mierla, L., Valencia-Cabrera, L., Garc\u00eda-Quismondo, M., P\u00e9rez-Jim\u00e9nez, M.J.: Kernel P systems - Version I. In: Proceedings of the Eleventh Brainstorming Week on Membrane Computing (BWMC 2013), pp. 97\u2013124 (2013)"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s00442-008-1005-2","volume":"156","author":"MS Keeler","year":"2008","unstructured":"Keeler, M.S., Chew, F.S.: Escaping an evolutionary trap: preference and performance of a native insect on an exotic invasive host. Oecologia 156(3), 559\u2013568 (2008)","journal-title":"Oecologia"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1111\/j.1365-2656.2006.01098.x","volume":"75","author":"MS Keeler","year":"2006","unstructured":"Keeler, M.S., Chew, F.S., Goodale, B.C., Reed, J.M.: Modelling the impacts of two exotic invasive species on a native butterfly: top-down vs. bottom-up effects. Journal of Animal Ecology 75(3), 777\u2013788 (2006)","journal-title":"Journal of Animal Ecology"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-33636-2_15","volume-title":"Computational Methods in Systems Biology","author":"MA Mart\u00ednez-del-Amor","year":"2012","unstructured":"Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., Gastalver-Rubio, A., Elster, A.C., P\u00e9rez-Jim\u00e9nez, M.J.: Population Dynamics P systems on CUDA. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS (LNBI), vol. 7605, pp. 247\u2013266. Springer, Heidelberg (2012)"},{"key":"12_CR16","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, Gy. (eds.) CMC 2012. LNCS, vol. 7762, pp. 257\u2013276. Springer, Heidelberg (2013)"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1142\/S0129054111007873","volume":"22","author":"MA Mart\u00ednez-del-Amor","year":"2011","unstructured":"Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Sancho-Caparrini, F.: A simulation algorithm for multienvironment probabilistic P systems: A formal verification. International Journal of Foundations of Computer Science 22(1), 107\u2013118 (2011)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"4","key":"12_CR18","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.: P systems with proteins on membranes. Fundamenta Informaticae 72(4), 467\u2013483 (2006)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"12_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, Gh.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108\u2013143 (2000). and TUCS Report No. 208 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)","DOI":"10.1007\/978-3-642-11467-0"},{"key":"12_CR21","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: Proceedings IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), vol. I, pp. 637\u2013643 (2010)","DOI":"10.1109\/BICTA.2010.5645199"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/11880646_8","volume-title":"Transactions on Computational Systems Biology VI","author":"MJ Jes\u00fas P\u00e9rez-J\u00edmenez","year":"2006","unstructured":"P\u00e9rez-J\u00edmenez, M.J., Romero-Campero, F.J.: P systems, A new computational modelling tool for Systems Biology. In: Priami, C., Plotkin, G. (eds.) Trans. on Comput. Syst. Biol. VI. LNCS (LNBI), vol. 4220, pp. 176\u2013197. Springer, Heidelberg (2006)"},{"issue":"3","key":"12_CR23","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.: Computational complexity of tissue-like P systems. Journal of Complexity 26(3), 296\u2013315 (2010)","journal-title":"Journal of Complexity"},{"issue":"1","key":"12_CR24","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1162\/artl.2008.14.1.95","volume":"14","author":"FJ Romero-Campero","year":"2008","unstructured":"Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J.: A model of the Quorum Sensing system in Vibrio fischeri using P systems. Artificial Life 14(1), 95\u2013109 (2008)","journal-title":"Artificial Life"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.biosystems.2007.02.011","volume":"91","author":"FJ Romero-Campero","year":"2008","unstructured":"Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J.: Modelling gene expression control using P systems: The Lac Operon, a case study. BioSystems 91(3), 438\u2013457 (2008)","journal-title":"BioSystems"},{"key":"12_CR26","unstructured":"COLT library. http:\/\/acs.lbl.gov\/software\/colt\/index.html"},{"key":"12_CR27","unstructured":"RAND function in C++\/C Standard General Utilities Library (cstdlib). http:\/\/www.cplusplus.com\/reference\/cstdlib\/rand"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14370-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T03:04:14Z","timestamp":1747191854000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14370-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319143699","9783319143705"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14370-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"17 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}