State Diagram: TOP:wait