Synet : un outil de synthèse de réseaux de Petri bornés, applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

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

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.
Fichier principal
Vignette du fichier
RR-3155.pdf (324.31 Ko) Télécharger le fichier

Dates et versions

inria-00073534 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073534 , version 1

Citer

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⟩
161 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More