Synet : un outil de synthèse de réseaux de Petri bornés, applicationsReportar como inadecuado




Synet : un outil de synthèse de réseaux de Petri bornés, applications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Benoit Caillaud -

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



DESCARGAR PDF




Documentos relacionados