For the most recent entries see the Petri Nets Newsletter.

Systemes d'automates a compteurs et semi-linearite des ensembles d'etats accessibles: Forlorn hope.

Lesventes, Gilles

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography