C. André and M. A. Péraldi, 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.

C. André and D. Gaffé-actes-du-colloque, Coopération Grafcet Automatique, Génie informatique, Image 94, pp.221-224, 1994.

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants " ; TSI -Editions DUNOD, pp.193-216, 1990.

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants " ; Editions MASSON, 1992.

A. , A. J. Beauquier, B. Bérard, and B. Rozoy, Programmes parallèles : modèles et validation ", Editions ARMAND COLIN, vol.164, 1992.

P. Aygalinc and J. P. Denat, 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.

C. Berge, Graphes et hypergraphes " ; Editions DUNOD UNIVERSITÉ, 516 pages, 1973.

M. Blanchard, Comprendre maîtriser et appliquer le GRAFCET " ; Editions CEPADUES, 174 pages, 1979.

N. Bouteille, P. Brard, G. Colombari, N. Cotaina, and D. Richet, pages, Le GRAFCET Editions CEPADUES, p.144, 1992.

V. Chapurlat, G. Monneret, and F. Prunet, Discrete events system modelling and software engineering: ACSY, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production, 1993.
DOI : 10.1109/CMPEUR.1993.289864

G. Colombari, Formalisation temporelle du Grafcet " ; Actes du Congrès Temps Réel -pages 143 à 154, 1990.

F. Corbier, Simuler la partie opérative pour tester les automatismes de commandes " ; Actes des Conférences, AUTOMATION, vol.87, issue.24, pp.33-46, 1987.

P. Crubillé, Réalisation de l'outil Mec : spécification fonctionnelle et architecture " ; Thèse de l'Université Bordeaux I, 1989.

J. Davenport, Y. Siret, and E. Tournier, Calcul formel : systèmes et algorithmes de manipulations algébriques, 1987.

R. David and H. Alla, Du Grafcet au réseaux de Petri " ; Editions HERMES, 424 pages, 1989.

H. Deneux and R. David, Spécification et mise en oeuvre d'automates interconnectés à l'aide du GRAFCET " ; RAIRO, pp.339-358, 1983.

M. J. Denham, 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.

G. Desbazeille, Exercices et problèmes de recherche opérationnelle " ; Editions DUNOD, 1976.

B. Dutertre, Spécification et preuve de systèmes dynamiques " ; Thèse de l, Université Rennes, vol.1, issue.195, 1993.

J. P. Frachet and G. Colombari, Elements for a semantics of the time in GRAFCET and dynamic systems using non-standard analys " ; APII -Editions HERMES, pp.107-125, 1993.

M. C. Gaudel, M. Soria, and C. Froidevaux, Types de données et algorithmes : Recherche, Tri, Algorithmes sur les graphes " ; Edité par INRIA, pp.1987-199

T. Giaccone, 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.

P. Girard and P. Naslin, Construction des machines séquentielles industrielles " ; Editions DUNOD, 244 pages, 1973.

P. Gochet and P. Gribomont, Logique : méthodes pour l'informatique fondamentale " ; Editions HERMES, 1991.

P. and L. Parc, 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.

J. J. Lesage and J. M. Roussel, Hierarchical approach to GRAFCET using forcing order " ; APII -Editions HERMES, pp.25-38, 1993.

P. Lhoste, Contribution au génie automatique : concepts, modeles, méthodes et outils " ; Habilitation à diriger des recherches de l'université de Nancy I ; Février 94

M. Marchand-editions and D. Boeck-université, Mathématique discrète, 1989.

M. Moalla, 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.

J. L. Muller, 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.

P. Naslin, Circuits logiques et automatismes à séquences " ; Editions DUNOD, 1970.

H. Panetto, 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.

N. Permingeat and D. Glaude, Algèbre de pages, e tirage corrigé Editions MASSON, p.211, 1991.

D. and P. Llorca, 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.

J. N. Pruvost, 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.

J. M. Roussel and J. J. Lesage, Une algèbre de Boole pour l'approche événementielle des systèmes logiques " ; APII -Editions HERMES, pp.541-560, 1993.

O. Roux, D. Creusot, F. Cassez, and J. P. Elloy, Le langage réactif asynchrone, Electre TSI -Editions HERMES, vol.11, pp.35-66, 1992.

O. Roux and V. Rusu, Du Grafcet au langage réactif Electre " ; APII -Editions HERMES, pp.131-157, 1994.

C. Sourisse, 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.

J. M. Toulotte, Automates programmables " ; ITET N?227 ; N?227 -pages 5 à 14, 1981.

D. Vergamini, Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO ; Thèse de l'Université de Nice, 1987.

J. Zahnd, Machines séquentielles " ; Editions DUNOD, 265 pages, 1987.

J. L. Paris, Grafcet + VME : couple gagnant " ; Compte rendu de la journée Automatisation de processus indistriels, Club AUTOMATION, vol.4, 1993.

3. Société, Documentation technique d, OMEGA, 1988.