{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T01:10:10Z","timestamp":1746148210392,"version":"3.40.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"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-05032-4_23","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"313-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality"],"prefix":"10.1007","author":[{"given":"Suryana","family":"Setiawan","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Cerone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"23_CR1","volume-title":"Identification of Cellular Automata","author":"A Adamatzky","year":"1994","unstructured":"Adamatzky, A.: Identification of Cellular Automata. Taylor and Francis, London (1994)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Cerone, A., Setiawan, S.: Modelling population dynamics using grid systems. In: MoKMaSD 2012. LNCS, vol. 7991, pp. 172\u2013189. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54338-8_14"},{"key":"23_CR3","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":"23_CR4","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":"23_CR5","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":"23_CR6","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."},{"issue":"8","key":"23_CR7","doi-asserted-by":"publisher","first-page":"1987","DOI":"10.1890\/0012-9658(2006)87[1987:SWMPMF]2.0.CO;2","volume":"87","author":"RB Boone","year":"2006","unstructured":"Boone, R.B., Thirgood, S.J., Hopcraft, J.G.C.: Serengeti wildebeest migratory patterns modeled from rainfall and new vegetation growth. Ecology 87(8), 1987\u20131994 (2006)","journal-title":"Ecology"},{"key":"23_CR8","first-page":"1614","volume":"13","author":"V Durier","year":"2003","unstructured":"Durier, V., Graham, P., Collett, T.S.: Snapshot memories and landmark guidance in wood ants. Curr. Biol., Elsevier Science Ltd. 13, 1614\u20131618 (2003)","journal-title":"Curr. Biol., Elsevier Science Ltd."},{"key":"23_CR9","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":"23_CR10","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":"23_CR11","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1086\/597229","volume":"173","author":"RM Holdo","year":"2009","unstructured":"Holdo, R.M., Holt, R.D., Fryxell, J.M.: Opposing rainfall and plant nutritional gradients best explain the wildebeest migration in the Serengeti. Am. Nat. 173, 431\u2013445 (2009)","journal-title":"Am. Nat."},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1146\/annurev.physiol.70.113006.100654","volume":"70","author":"UB Kaupp","year":"2008","unstructured":"Kaupp, U.B., Kashikar, N.D., Weyand, I.: Mechanism of sperm chemotaxis. Ann. Rev. Physiol. 70, 93\u2013117 (2008)","journal-title":"Ann. Rev. Physiol."},{"key":"23_CR13","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":"49","key":"23_CR14","doi-asserted-by":"publisher","first-page":"19096","DOI":"10.1073\/pnas.0801859105","volume":"105","author":"KJ Lohmann","year":"2008","unstructured":"Lohmann, K.J., Putman, N.F., Lohmann, C.M.F.: Geomagnetic imprinting: a unifying hypothesis of long-distance natal homing in salmon and sea turtles. Proc. Nat. Acad. Sci. 105(49), 19096\u201319101 (2008)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"23_CR15","unstructured":"Milazzo, P.: Qualitative and quantitative formal modeling of biological systems. Ph.D thesis, Universit\u00e0 di Pisa (2007)"},{"key":"23_CR16","unstructured":"Pardini, G.: Formal modelling and simulation of biological systems with spatiality. Ph.D thesis, Universit\u00e0 di Pisa (2011)"},{"key":"23_CR17","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":"23_CR18","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":"23_CR19","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":"4","key":"23_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"CW Reynolds","year":"1987","unstructured":"Reynolds, C.W.: Flocks, herds, and schools: a distributed behavioral model. Comput. Graph. 21(4), 25\u201334 (1987)","journal-title":"Comput. Graph."},{"key":"23_CR21","volume-title":"Neural Networks - A Systematic Introduction","author":"R Rojas","year":"1996","unstructured":"Rojas, R.: Neural Networks - A Systematic Introduction. Springer, Berlin (1996)"},{"key":"23_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92910-9","volume-title":"Handbook of Natural Computing","author":"G Rozenberg","year":"2012","unstructured":"Rozenberg, G., Bck, T., Kok, J.: Handbook of Natural Computing. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T00:36:00Z","timestamp":1746146160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_23","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":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}