The state machine we design or create in smach_ros can be visualized for debugging or analysis through a tool called SMACH viewer. The following diagram shows the use of SMACH viewer with the preceding PR2 robot example (the text and numbers in this image are intentionally illegible):
The robot is currently in the DETECT_OUTLET state, which is indicated in green.