Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique

La méthode de synthèse présentée dans cette communication a été développée pour concevoir automatiquement des contrôleurs logiques. Nous montrons comment utiliser cette approche dans le cas particulier où un concepteur cherche à obtenir un contrôleur à partir d'un modèle générique. L'instanciation du modèle est obtenue par synthèse algébrique. Pour illustrer cette approche,l'exemple d'une chaîne de production, dont le modèle générique du contrôleur est donné par un RdPI, est utilisé.