Massink M., Latella D., Bracciali A., Hillston J.
Formal Methods BioPEPA Fluid flow Collective behaviour
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 re- ality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as "El Botello ?n". 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
Source: FASE 2011, Fundamental Approaches to Software Engineering 2011. 14th International Conference, pp. 96–110, Saarbruecken, Germany, March 26 - April 3 2011
Publisher: Springer, Berlin, DEU
@inproceedings{oai:it.cnr:prodotti:190174, title = {Modelling Non-linear Crowd Dynamics in Bio-PEPA}, author = {Massink M. and Latella D. and Bracciali A. and Hillston J.}, publisher = {Springer, Berlin, DEU}, doi = {10.1007/978-3-642-19811-3_8}, booktitle = {FASE 2011, Fundamental Approaches to Software Engineering 2011. 14th International Conference, pp. 96–110, Saarbruecken, Germany, March 26 - April 3 2011}, year = {2011} }