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
