Fig. 2From: Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport systemSecurity checkpoint layout as used in the AATOM simulator. Small and medium red circles represent respectively passengers and security operators. Yellow squares are luggage. Cyan lines are the passengers’ intended pathsBack to article page