{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T16:04:34Z","timestamp":1769270674152,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642543371","type":"print"},{"value":"9783642543388","type":"electronic"}],"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-642-54338-8_14","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T09:27:37Z","timestamp":1393579657000},"page":"172-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Modelling Population Dynamics Using Grid Systems"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suryana","family":"Setiawan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,1]]},"reference":[{"key":"14_CR1","unstructured":"Rio Declaration on Environment and Development. United Nations Conference on Environment and Development (UNCED), Rio de Janeiro, Brazil (1992)"},{"key":"14_CR2","volume-title":"Identification of Cellular Automata","author":"A Adamatzky","year":"1994","unstructured":"Adamatzky, A.: Identification of Cellular Automata. Taylor and Francis, London (1994)"},{"key":"14_CR3","series-title":"LNCS","first-page":"387","volume-title":"SFM 2008","author":"R Barbuti","year":"2008","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: The calculus of looping sequences. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 387\u2013423. Springer, Heidelberg (2008)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Rama, A.: A process calculus for molecular interaction maps. In: Membrane Computing and Biologically Inspired Process Calculi (MeCBIC), pp. 35\u201349 (2009)","DOI":"10.4204\/EPTCS.11.3"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.tcs.2008.01.028","volume":"395","author":"R Barbuti","year":"2008","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional semantics and behavioral equivalences for p systems. Theor. Comput. Sci. 395(1), 77\u2013100 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"14_CR6","first-page":"1","volume":"87","author":"R Barbuti","year":"2008","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: A p systems flat form preserving step-by-step behaviour. Fundam. Inform. 87(1), 1\u201334 (2008)","journal-title":"Fundam. Inform."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1142\/S0129054111007885","volume":"22","author":"R Barbuti","year":"2011","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: An overview on operational semantics in membrane computing. Int. J. Found. Comput. Sci. 22(1), 119\u2013131 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P.: Modelling the dynamics of an aedes albopictus population. In: Proceedings of Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (2010)","DOI":"10.4204\/EPTCS.33.2"},{"key":"14_CR9","series-title":"LNCS","first-page":"78","volume-title":"CiE 2010","author":"L Cardelli","year":"2010","unstructured":"Cardelli, L., Gardner, P.: Processes in space. In: Ferreira, F., L\u00f6we, B., Mayordomo, E. (eds.) CiE 2010. LNCS, vol. 6158, pp. 78\u201387. Springer, Heidelberg (2010)"},{"key":"14_CR10","unstructured":"Cardona, M., Colomer, M.A., Perez-Jimenez, M.J., Sanuy, D., Margalida, A.: A P system modeling an ecosystem related to the bearded vulture. In: Proceedings of Sixth Brainstowming Week on Membrane Computing, pp. 52\u201366 (2008)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0304-3800(01)00433-1","volume":"148","author":"M Chaloupka","year":"2001","unstructured":"Chaloupka, M.: Stochastic simulation modelling of southern great barrier reef green turtle population dynamics. Ecol. Model. 148, 79\u2013109 (2001)","journal-title":"Ecol. Model."},{"key":"14_CR12","series-title":"LNCS","first-page":"313","volume-title":"SFM 2008","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: The BlenX language: a tutorial. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 313\u2013365. Springer, Heidelberg (2008)"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"489","DOI":"10.4269\/ajtmh.1995.53.489","volume":"53","author":"DA Focks","year":"1995","unstructured":"Focks, D.A., Daniels, E., Haile, D.G., Keesling, J.E.: A simulation model of the epidemiology of urban dengue fever: literature analysis, model development, preliminary validation, and samples of simulation results. Am. J. Trop. Med. Hyg. 53, 489\u2013506 (1995)","journal-title":"Am. J. Trop. Med. Hyg."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"MA Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem. 104, 1876\u20131889 (2000)","journal-title":"J. Phys. Chem."},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"DT Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys. 22, 403\u2013434 (1976)","journal-title":"J. Comput. Phys."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115, 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"key":"14_CR18","first-page":"6750","volume":"95","author":"PJ Goss","year":"1990","unstructured":"Goss, P.J., Peccoud, J.: Quantitative modeling of stochastic system in molecular biology by using Petri Nets. J. Bioinform. Comput. Biol. 95, 6750\u20136755 (1990)","journal-title":"J. Bioinform. Comput. Biol."},{"key":"14_CR19","first-page":"1","volume":"4","author":"WA Hawley","year":"1988","unstructured":"Hawley, W.A.: The biology of aedes albopictus. J. Am. Mosq. Control Assoc. 4, 1\u201339 (1988)","journal-title":"J. Am. Mosq. Control Assoc."},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2007.12.010","volume":"194","author":"M John","year":"2009","unstructured":"John, M., Ewald, R., Uhrmacher, A.M.: A spatial extension to the $$\\pi $$-calculus. Electron. Notes Theoret. Comput. Sci. 194, 133\u2013148 (2009)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.envsoft.2010.12.007","volume":"26","author":"O Kahramano\u011fullari","year":"2011","unstructured":"Kahramano\u011fullari, O., Jordan, F., Lynch, J.: CoSBiLab LIME: a language interface for stochastic dynamical modelling in ecology. Environ. Model Softw. 26, 685\u2013687 (2011)","journal-title":"Environ. Model Softw."},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1091\/mbc.E05-09-0824","volume":"17","author":"KW Kohn","year":"2005","unstructured":"Kohn, K.W., Aladjem, M.I., Weinstein, J.N., Pommier, Y.: Molecule interaction maps of bioregularity networks: a general rubric for systems biology. Mol. Biol. Cell 17, 1\u201313 (2005)","journal-title":"Mol. Biol. Cell"},{"issue":"2","key":"14_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1462179.1462181","volume":"10","author":"R Lanotte","year":"2009","unstructured":"Lanotte, R., Tini, S.: Probabilistic bisimulation as a congruence. ACM Trans. Comput. Log. 10(2), 1 (2009)","journal-title":"ACM Trans. Comput. Log."},{"key":"14_CR24","unstructured":"Li, H., Petzold, L.: Logarithmic Direct Method for Discrete Stochastics Simulation of Chemically Reacting Systems. Technical report, University of California Santa Barbara (2006)"},{"key":"14_CR25","unstructured":"Milazzo, P.: Qualitative and quantitative formal modeling of biological systems. Ph.D. thesis, Universit\u00e0 di Pisa (2007)"},{"key":"14_CR26","unstructured":"Milner, R.: Communication and mobile systems: the $$\\pi $$-calculus. In: Proceeding of the Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)"},{"key":"14_CR27","unstructured":"Moreno, D.H.R., Federico, P., Canziani, G.A.: Population dynamics models base on cellular automata that includes habitat quality indices defined through remote sensing. In: ISRSE RM (2001)"},{"key":"14_CR28","unstructured":"Pardini, G.: Formal modelling and simulation of biological systems with spatiality. Ph.D. thesis, Universit\u00e0 di Pisa (2011)"},{"key":"14_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.18637\/jss.v025.i12","volume":"25","author":"M Pineda-Krch","year":"2008","unstructured":"Pineda-Krch, M.: Gillespie SSA: implementing the stochastic simulation algorithm in R. J. Stat. Softw. 25, 1\u201318 (2008)","journal-title":"J. Stat. Softw."},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.Y.: Application of a stochastic name-passing calculus to representation and simulation a molecular processes. Inf. Process. Lett. 80, 25\u201331 (2001)","journal-title":"Inf. Process. Lett."},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR32","unstructured":"P\u0103un, G.: Twenty six research topics about spiking neural P systems. In: Proceeding of Sixth Brainstowming Week on Membrane Computing (2008)"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the $$\\pi $$-calculus process algebra. In: Proceeding of the Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"22\u201324","key":"14_CR34","doi-asserted-by":"publisher","first-page":"2202","DOI":"10.1016\/j.tcs.2010.01.027","volume":"411","author":"S Tini","year":"2010","unstructured":"Tini, S.: Non-expansive epsilon-bisimulations for probabilistic processes. Theor. Comput. Sci. 411(22\u201324), 2202\u20132222 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR35","volume-title":"A New Kind of Science","author":"S Wolfram","year":"2002","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media, Champaign (2002)"}],"container-title":["Lecture Notes in Computer Science","Information Technology and Open Source: Applications for Education, Innovation, and Sustainability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54338-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T23:26:55Z","timestamp":1746142015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54338-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642543371","9783642543388"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54338-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}