Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo

Nous presentons une structure sur les systemes de transitions telle que les principaux algorithmes existant sur les reseaux de Petri se generalisent aux systemes de transitions structures. L'arborescence reduite d'un systeme de transitions structure est definie; elle permet de decider la finitude de l'ensemble des etats accessibles et de l'ensemble des sequences franchissables. La de��finition du graphe de couverture, introduite par Karp et Miller pour les schemas de programmes paralleles, est generalisee aux systemes de transitions bien structures. Pour ceux-ci on montre que la quasi-vivacite et l'absence de blocage sont deux problemes decidables. Nous introduisons la notion d'isomorphisme de systemes de transitions structures et nous montrons que le produit fini de systemes de transitions structures est encore un systeme de transitions structure. Nous appliquons ensuite ces resultats generaux a deux classes de reseaux a files structures: les reseaux monogenes et les reseaux a choix libre. Il est de plus montre qu'un reseau monogene est simule par un reseau de Petri intersecte par un automate fini; il existe aussi une relation entre le langage d'un reseau a choix libre et le langage de son reseau de Petri colore associe: celui-ci est inclus dans les permutations du langage du reseau a choix libre. Ces deux relations permettent de decider la vivacite d'un reseau monogene ou a choix libre. D'autres resultats concernant la puissance d'expression des reseaux a files, le controle de processus par automate fini et la theorie des langages de reseaux de Petri et de reseaux a files sont aussi exposes.