Helbing's social force model: pedestrians have desired velocity toward goal, repulsion from walls and other pedestrians. Bidirectional corridor — lane formation and bottleneck jamming emerge spontaneously.