Why did Newell and Simon develop their production system models? I have only looked briefly at the history, but here are some of the influences other authors have noted.
Note that control can be very flexible, because the symbols in a production system's memory can be used to represent goals and subgoals. Bagger in Winston's Artificial Intelligence is a simple example of this. Bagger works through four stages, using a fact such as ``Step=check-order'' to keep track of which stage it's on. You could think of this fact as meaning ``My goal is to finish stage check-order''.
Young's seriation example makes this more obvious. He has rules with
conclusions like Push(goal=add first block)
which adds another
goal; conditions like goal = add first block and holding block in
hand
which depends on it, and rules with conclusions like
pop goal-stack
which deletes it.
Contrast with GPS, where goals were added and deleted in a strictly first-on, last-off fashion. They were pushed onto a stack, and popped off when finished.