Synet : un outil de synthèse de réseaux de Petri bornés, applicationsReport as inadecuate




Synet : un outil de synthèse de réseaux de Petri bornés, applications - Download this document for free, or read online. Document in PDF available to download.

1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Résumé : Synet est un outil de synthèse de réseaux de Petri bornés à partir de systèmes de transition finis. Il met en oeuvre des algorithmes polynomiaux de calcul de régions dans les systèmes de transition et repose sur des méthodes de programmation linéaire dans les nombres rationnels. Un nouvel algorithme de synthèse de réseaux répartissables dans lequel la synthèse est contrainte par un placement des actions sur un ensemble de procesus répartis y est également mis en oeuvre. Les réseaux alors produits peuvent être exécutés dans un environnement réparti. L-application de SYNET à la synthèse d-un protocole de communication connexion-déconnexion à partir d-une spécification de service est ensuite détaillée.

Mots-clés : PROGRAMMATION LINÉAIRE PROTOCOLES DE COMMUNICATION MÉTHODOLOGIE DE PROGRAMMATION RÉPARTIE RÉPARTITION AUTOMATIQUE SYNTHESE DE RÉSEAUX RÉSEAUX DE PETRI RÉGIONS DANS LES SYSTÈMES DE TRANSITION





Author: Benoit Caillaud -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents