Synet : un outil de synthèse de réseaux de Petri bornés, applications

Benoit Caillaud 1
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.
Type de document :
Rapport
[Rapport de recherche] RR-3155, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073534
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:08:51
Dernière modification le : mercredi 11 avril 2018 - 02:01:26
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:00:21

Fichiers

Identifiants

  • HAL Id : inria-00073534, version 1

Citation

Benoit Caillaud. Synet : un outil de synthèse de réseaux de Petri bornés, applications. [Rapport de recherche] RR-3155, INRIA. 1997. 〈inria-00073534〉

Partager

Métriques

Consultations de la notice

306

Téléchargements de fichiers

82