Abstract
Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. Surprisingly, agent based crowd models, in which the movement of each individual follows a limited set of simple rules, often re-produce quite closely the emergent behaviour of crowds that can be observed in reality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as “El Botellón” [20]. We revisit this case study providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses, among which simulation and fluid flow analysis. We show that a fluid flow approximation, i.e. a deterministic reading of the average behaviour of the system, can provide an alternative and efficient way to study the same emergent behaviour as that explored in [20] where simulation was used instead. Besides empirical evidence, also an analytical justification is provided for the good correspondence found between simulation results and the fluid flow approximation.
Chapter PDF
Similar content being viewed by others
References
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. 5688, pp. 52–67. Springer, Heidelberg (2009)
Benaïm, M., Le Boudec, J.: A class of mean field interaction models for computer and communication systems. Performance Evaluation 65(11-12), 823–838 (2008)
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)
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–215 (2005)
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–310 (2009)
Ciocchetta, F., Guerriero, M.L.: Modelling biological compartments in Bio-PEPA. ENTCS 227, 77–95 (2009)
Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra pepa for biochemical networks. ENTCS 194(3), 103–117 (2008)
Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34), 3065–3084 (2009)
Dormand, J.R., Prince, P.J.: A family of embedded Runge-Kutta formulae. Journal of Computational and Applied Mathematics 6(1), 19–26 (1980)
Gillepie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. TCS 411(22-24), 2260–2297 (2010)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33–43. IEEE Computer Society Press, Los Alamitos (2005)
Jensen, J.L.W.V.: Sur les fonctions convexes et les inégalités entre les valeurs moyennes. Acta Mathematica 30(1), 175–193 (1906)
Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. Journal of Applied Probability 7(1), 49–58 (1970)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)
Love-parade: Stampede at german love parade festival kills 19, http://www.bbc.co.uk/news/world-europe-10751899 , (accessed on August 10, 2010)
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–180. IEEE, Los Alamitos (2010)
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)
Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling crowd dynamics in Bio-PEPA – extended abstract. In: Participant Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities, PASTA 2010 (2010)
Rowe, J.E., Gomez, R.: El Botellón: Modeling the movement of crowds in a city. Complex Systems 14, 363–370 (2003)
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–52. NIST/BFRL Publications Online, Gaithersburg, MD, USA (2005)
Still, G.K.: Crowd dynamics (2000), Ph. D. Thesis, University of Warwick, U.K..
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Massink, M., Latella, D., Bracciali, A., Hillston, J. (2011). Modelling Non-linear Crowd Dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds) Fundamental Approaches to Software Engineering. FASE 2011. Lecture Notes in Computer Science, vol 6603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19811-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-19811-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19810-6
Online ISBN: 978-3-642-19811-3
eBook Packages: Computer ScienceComputer Science (R0)