V.5 Un formalisme comparable
Les Réseaux de Pétri Parmi les
formalismes de réseaux de transitions les plus proches des CATN se
trouvent les Réseaux de Pétri (RdP), dans leurs diverses
variantes ; lesquels RdP ont déjà été
appliqués à des systèmes multi agents. Les principales
différences entre les différents types de RdP et les CATN se
situent essentiellement au niveau de leurs représentations graphiques.
La première différence tient au fait que les RdP sont des graphes
bipartis comprenant deux types de noeuds (les places et les transitions), alors
que les CATN sont des graphes ayant un seul type de noeud (lesquels
représentent les états des agents en cours d'exécution
d'une tâche). Les RdP permettent de modéliser des systèmes
distribués complets ; l'état du système étant
représenté par l'ensemble des marques, également
appelées jetons, distribuées dans les différentes places
du système. Le fait d'avoir dans le cas des RdP deux types de noeuds
complique au niveau graphique la compréhension d'un système de
moyenne dimension. À l'inverse, les CATN permettent une
représentation explicite des actions et des états des
différents agents en tout moment.
La deuxième différence est liée au fait
que les CATN introduisent deux types d'arcs, les arcs entre états du
CATN d'un même agent et les interactions entre CATN d'agents
associés à la résolution d'une tâche commune.
Dès lors, on obtient une plus grande
expressivité graphique, en permettant d'analyser
séparément, soit l'exécution des actions de chaque agent
en suivant ses CATN respectifs, soit les interactions entre agents.
Parmi les variantes des RdP utilisées pour les SMA on
trouve les RdP Colorés, [RdPC, 18], qui bien qu'ayant la même
puissance de description que les RdP, essayent de mieux synthétiser les
informations, particulièrement celles des jetons distribuées dans
les places du RdPC. Malheureusement cette synthétisation ne se
reflète pas dans une plus grande lisibilité des diagrammes des
RdPC, ce qui n'aide pas a ce que cette représentation puisse être
plus largement utilisée. Une autre variante est celle des RdP
Récursifs [RdPR, 6], RdPR, qui a été appliquée pour
modeler la fusion de plans, leur coordination dynamique et leur
exécution. Les RdPR introduisent les notions d'action, de transition et
de méthode abstraites qui permettent une définition de RdPR de
hauts niveaux chaque fois plus détaillés jusqu'à arriver
à des transitions simples. Cette capacité de description de plans
ou de processus qui vont de modèles abstraits à des
modèles touj ours plus concrets correspond parfaitement à la
démarche naturelle d'utilisation des CATN.
46
| 
