This thesis is an approach to formalize the dynamics of a physical concert experience and then translate the individual psychological factors by means of communication technology to the computer-mediated context. It discusses socio-psychological factors of live concert attendance as well as socio-technical affordances of communication technologies to establish a three-dimensional framework. The derived temporal, spatial and social dimensions are used to conduct a requirement analysis concerning suitable technological platforms to find common mechanics that foster the mediation of a virtual concert experience. Based on bigraphical reactive systems (BRS), a formalism is developed which models and simulates audience behaviour at distributed events. Concluding, computational model checking is used for the model’s validation as well as formal exploration, evaluation, and iterative refinement of the derived mechanics. Thereby, this work contributes to the improvement of computer-based model-checking in the context of bigraph analysis and affirms the potential of formal modelling of socio-technical phenomena such as virtual events.