A classification of the expressive power of well-structured transition systems.