Grands domaines d'application

Résumé : Les recherches menées dans Paragraphe sur les réseaux de Petri ont deux domaines d'application, bien identifiés à défaut d'être couverts par des travaux en phase de démarrage. Le premier domaine, étudié en interaction avec les projets EP-ATR et PAMPA, est la distribution semi-automatique d'automates, incluant protocoles et programmes synchrones. Le second domaine est l'aide à la conception de systèmes d'agents dynamiques interactifs, communiquant à travers un service de télécommunication, ou coopèrant sous le contrôle d'un système de conduite de travail. Les travaux que nous menons sur les graphes sont également susceptibles d'applications dans le domaine de la vérification des systèmes concurrents.