A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems