Précédent : Graphes d'événements avec des entrées Remonter : Algèbre (max+) Suivant : Théorie des jeux et contrôle
Précédent : Graphes d'événements avec des entrées
Remonter : Algèbre (max+) Suivant : Théorie des
jeux et contrôle
En collaboration avec B. Gaujal (SLOOP), F. Baccelli a continué le travail initialisé sur les réseaux à choix libre. La condition de vivacité de ces réseaux (théorèmes de Commoner) a été établie directement à partir du formalisme algébrique, et une caractérisation algébrique du nombre total de tir des transitions a été mise en évidence [30]. Un article de synthèse sur ce sujet vient de paraître : F. Baccelli, S. Foss et B. Gaujal, ``Free Choice Petri Nets, an Algebraic Approach'', IEEE Aut. Cont., Vol. 41 N. 12, Déc. 1996.