State Diagram: Elevator_Protocol / State Diagram