Robotique

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

Publié le - Conférence Internationale Francophone d'Automatique, CIFA 2008

Auteurs : Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

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é.