It's an elevator with automatic doors. The code has two FSM, one for the motor that makes it go up and down and one for the automatic door.