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 examples of (general) WSTS's in many fields, and (3) present new decidability results.
CITATION STYLE
Finkel, A., & Schnoebelen, P. (1998). Fundamental structures in well-structured infinite transition systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1380, pp. 102–118). Springer Verlag. https://doi.org/10.1007/bfb0054314
Mendeley helps you to discover research relevant for your work.