Abstract FR:

Etude des modeles de parallelisme en informatique bases sur les automates. Un nouveau formalisme est propose: les sytemes d'automates a compteurs. A partir du modele des automates synchronises d'arnold et nivat, un modele d'automates communiquant par le biais de compteurs entiers est defini. Une equivalence est etablie entre les systemes d'automates a compteurs et les reseaux de petri et, a partir de la, le travail est prolonge dans le cadre plus general des systemes d'addition de vecteurs