We suggest a simple and clean definition for Well-Structured transition Systems[20,1], a general class of infinite state systems for which decidability results exist. As a consequence we can (1) generalize the definition in many ways, (2) find exampels of (general)WSTS's in many fields, and (3) present new decidability results.
展开▼