State Diagram: TOP:WaitForPort