Thesis (Inform.), Univ. Rennes 1. CNRS-T Bordereau, 1989.
Abstract: 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.
Keywords: semilinearity (of) reachability set.