Modelling Non-linear Crowd Dynamics in Bio-PEPA

Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
Subtitle of host publication14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
EditorsDimitra Giannakopoulou, Fernando Orejas
PublisherSpringer-Verlag GmbH
Pages96-110
Number of pages15
Volume6603
ISBN (Print)978-3-642-19810-6
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume6603

Fingerprint

Dive into the research topics of 'Modelling Non-linear Crowd Dynamics in Bio-PEPA'. Together they form a unique fingerprint.

Cite this