Synchronous Programming : introduction and application to industrial process control " ; Invited Paper of, IEEE International Conference on Computers in Design, Manufacturing and Production, pp.461-470, 1993. ,
Coopération Grafcet Automatique, Génie informatique, Image 94, pp.221-224, 1994. ,
Systèmes de transitions finis et sémantique des processus communicants " ; TSI -Editions DUNOD, pp.193-216, 1990. ,
Systèmes de transitions finis et sémantique des processus communicants " ; Editions MASSON, 1992. ,
Programmes parallèles : modèles et validation ", Editions ARMAND COLIN, vol.164, 1992. ,
Validation de modèles GRAFCET fonctionnels et évaluation de performances du système associé par l'utilisation des Réseaux de Petri " ; Actes du Congrès GRAFCET'92 -Editions AFCET -pages 135 à 145, 1992. ,
Graphes et hypergraphes " ; Editions DUNOD UNIVERSITÉ, 516 pages, 1973. ,
Comprendre maîtriser et appliquer le GRAFCET " ; Editions CEPADUES, 174 pages, 1979. ,
pages, Le GRAFCET Editions CEPADUES, p.144, 1992. ,
Discrete events system modelling and software engineering: ACSY, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production, 1993. ,
DOI : 10.1109/CMPEUR.1993.289864
Formalisation temporelle du Grafcet " ; Actes du Congrès Temps Réel -pages 143 à 154, 1990. ,
Simuler la partie opérative pour tester les automatismes de commandes " ; Actes des Conférences, AUTOMATION, vol.87, issue.24, pp.33-46, 1987. ,
Réalisation de l'outil Mec : spécification fonctionnelle et architecture " ; Thèse de l'Université Bordeaux I, 1989. ,
Calcul formel : systèmes et algorithmes de manipulations algébriques, 1987. ,
Du Grafcet au réseaux de Petri " ; Editions HERMES, 424 pages, 1989. ,
Spécification et mise en oeuvre d'automates interconnectés à l'aide du GRAFCET " ; RAIRO, pp.339-358, 1983. ,
A Petri-net Approach to the Control of Discrete-event Systems " ; Avanced Computing Concepts and Techniques in Control Engineering ; NAto ASI Series, pp.191-214, 1988. ,
Exercices et problèmes de recherche opérationnelle " ; Editions DUNOD, 1976. ,
Spécification et preuve de systèmes dynamiques " ; Thèse de l, Université Rennes, vol.1, issue.195, 1993. ,
Elements for a semantics of the time in GRAFCET and dynamic systems using non-standard analys " ; APII -Editions HERMES, pp.107-125, 1993. ,
Types de données et algorithmes : Recherche, Tri, Algorithmes sur les graphes " ; Edité par INRIA, pp.1987-199 ,
Modèle structuré de spécification, de conception et de mise au point de systèmes à événements discrets " ; Thèse de l'Université de Montpellier II, 1991. ,
Construction des machines séquentielles industrielles " ; Editions DUNOD, 244 pages, 1973. ,
Logique : méthodes pour l'informatique fondamentale " ; Editions HERMES, 1991. ,
Apports de la méthodologie synchrone pour la définition et l'utilisation du langage GRAFCET " ; Thèse de l, Université Rennes, vol.1, issue.172, 1994. ,
Hierarchical approach to GRAFCET using forcing order " ; APII -Editions HERMES, pp.25-38, 1993. ,
Contribution au génie automatique : concepts, modeles, méthodes et outils " ; Habilitation à diriger des recherches de l'université de Nancy I ; Février 94 ,
Mathématique discrète, 1989. ,
Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du Grafcet et des réseaux de Petri " ; Thèse d'état de l'Université scientifique et médicale de Grenoble, Juillet, 1981. ,
Modélisation Grafcet de la commande et simulation de la partie opérative des systèmes de production et de manutention, Thèse de l'Université de Montpellier II, 1989. ,
Circuits logiques et automatismes à séquences " ; Editions DUNOD, 1970. ,
Une contribution au génie automatique : le prototypage des machines et systèmes automatisés de production " ; Thèse de l'Université de Nancy I, 1991. ,
Algèbre de pages, e tirage corrigé Editions MASSON, p.211, 1991. ,
Méthodologie et implantation automatique de commande d'automatisme à l'aide de la chaîne, PIASTRE APII -Editions DUNOD, vol.21, pp.299-321, 1987. ,
Application des méthodes de fiabilité et de sécurité des systèmes aux automatismes " ; Actes des Conférences, AUTOMATION 85, vol.20, issue.17, 1985. ,
Une algèbre de Boole pour l'approche événementielle des systèmes logiques " ; APII -Editions HERMES, pp.541-560, 1993. ,
Le langage réactif asynchrone, Electre TSI -Editions HERMES, vol.11, pp.35-66, 1992. ,
Du Grafcet au langage réactif Electre " ; APII -Editions HERMES, pp.131-157, 1994. ,
Incidence de la sécurité et de la disponibilité sur la conception des équipements pilotés par API " ; Actes des Conférences, AUTOMATION 85, vol.15, issue.17, 1985. ,
Automates programmables " ; ITET N?227 ; N?227 -pages 5 à 14, 1981. ,
Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO ; Thèse de l'Université de Nice, 1987. ,
Machines séquentielles " ; Editions DUNOD, 265 pages, 1987. ,
Grafcet + VME : couple gagnant " ; Compte rendu de la journée Automatisation de processus indistriels, Club AUTOMATION, vol.4, 1993. ,
Documentation technique d, OMEGA, 1988. ,