{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:17:53Z","timestamp":1742944673344,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_8","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T13:06:18Z","timestamp":1300107978000},"page":"96-110","source":"Crossref","is-referenced-by-count":10,"title":["Modelling Non-linear Crowd Dynamics in Bio-PEPA"],"prefix":"10.1007","author":[{"given":"Mieke","family":"Massink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bracciali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-03845-7_4","volume-title":"Computational Methods in Systems Biology","author":"O.E. Akman","year":"2009","unstructured":"Akman, O.E., Ciocchetta, F., Degasperi, A., Guerriero, M.L.: Modelling biological clocks with bio-PEPA: Stochasticity and robustness for the neurospora crassa circadian network. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 52\u201367. Springer, Heidelberg (2009)"},{"issue":"11-12","key":"8_CR2","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1016\/j.peva.2008.03.005","volume":"65","author":"M. Bena\u00efm","year":"2008","unstructured":"Bena\u00efm, M., Le Boudec, J.: A class of mean field interaction models for computer and communication systems. Performance Evaluation\u00a065(11-12), 823\u2013838 (2008)","journal-title":"Performance Evaluation"},{"key":"8_CR3","unstructured":"Bracciali, A., Hillston, J., Latella, D., Massink, M.: Reconciling population and agent models for crowd dynamics. In: Proceedings of 3rd International Workshop on Logics, Agents, and Mobility, LAM 2010 (to appear, 2010)"},{"key":"8_CR4","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Automatically deriving odes from process algebra models of signalling pathways. In: Plotkin, G. (ed.) Proceedings of Computational Methods in Systems Biology (CMSB 2005), pp. 204\u2013215 (2005)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA Tool Suite. In: Proc. of the 6th Int. Conf. on Quantitative Evaluation of SysTems (QEST 2009), pp. 309\u2013310 (2009)","DOI":"10.1109\/QEST.2009.27"},{"key":"8_CR6","first-page":"77","volume":"227","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Guerriero, M.L.: Modelling biological compartments in Bio-PEPA. ENTCS\u00a0227, 77\u201395 (2009)","journal-title":"ENTCS"},{"issue":"3","key":"8_CR7","first-page":"103","volume":"194","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra pepa for biochemical networks. ENTCS\u00a0194(3), 103\u2013117 (2008)","journal-title":"ENTCS"},{"issue":"33-34","key":"8_CR8","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"TCS"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0771-050X(80)90013-3","volume":"6","author":"J.R. Dormand","year":"1980","unstructured":"Dormand, J.R., Prince, P.J.: A family of embedded Runge-Kutta formulae. Journal of Computational and Applied Mathematics\u00a06(1), 19\u201326 (1980)","journal-title":"Journal of Computational and Applied Mathematics"},{"issue":"25","key":"8_CR10","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillepie","year":"1977","unstructured":"Gillepie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"issue":"22-24","key":"8_CR11","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"R.A. Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. TCS\u00a0411(22-24), 2260\u20132297 (2010)","journal-title":"TCS"},{"key":"8_CR12","first-page":"33","volume-title":"Proceedings of QEST 2005","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF02418571","volume":"30","author":"J.L.W.V. Jensen","year":"1906","unstructured":"Jensen, J.L.W.V.: Sur les fonctions convexes et les in\u00e9galit\u00e9s entre les valeurs moyennes. Acta Mathematica\u00a030(1), 175\u2013193 (1906)","journal-title":"Acta Mathematica"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0021900200026929","volume":"7","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. Journal of Applied Probability\u00a07(1), 49\u201358 (1970)","journal-title":"Journal of Applied Probability"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)","DOI":"10.1145\/1530873.1530882"},{"key":"8_CR16","unstructured":"Love-parade: Stampede at german love parade festival kills 19, http:\/\/www.bbc.co.uk\/news\/world-europe-10751899 , (accessed on August 10, 2010)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/SEFM.2010.22","volume-title":"Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM 2010)","author":"M. Massink","year":"2010","unstructured":"Massink, M., Latella, D., Bracciali, A., Harrison, M.: A scalable fluid flow process algebraic approach to emergency egress analysis. In: Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM 2010), pp. 169\u2013180. IEEE, Los Alamitos (2010)"},{"key":"8_CR18","unstructured":"Massink, M., Latella, D., Bracciali, A., Hillston, J.: A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. Tech. Rep. 2010-TR-025, CNR-ISTI (2010)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling crowd dynamics in Bio-PEPA \u2013 extended abstract. In: Participant Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities, PASTA 2010 (2010)","DOI":"10.1007\/978-3-642-19811-3_8"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"363","DOI":"10.25088\/ComplexSystems.14.4.363","volume":"14","author":"J.E. Rowe","year":"2003","unstructured":"Rowe, J.E., Gomez, R.: El Botell\u00f3n: Modeling the movement of crowds in a city. Complex Systems\u00a014, 363\u2013370 (2003)","journal-title":"Complex Systems"},{"key":"8_CR21","first-page":"27","volume-title":"Proceedings of the NIST Workshop on Building Occupant Movement during Fire Emergencies","author":"G. Santos","year":"2005","unstructured":"Santos, G., Aguirre, B.E.: A critical review of emergency evacuation simulation models. In: Proceedings of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10-11, 2004, pp. 27\u201352. NIST\/BFRL Publications Online, Gaithersburg, MD, USA (2005)"},{"key":"8_CR22","unstructured":"Still, G.K.: Crowd dynamics (2000), Ph. D. Thesis, University of Warwick, U.K.."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T07:12:37Z","timestamp":1741072357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}