Une généralisation des théorèmes de Higman et de Simon aux mots infinis
Well-structured transition systems everywhere!
On the -language expressive power of extended Petri nets