C. André and D. Gaffé, Coopération GRAFCET/ESTÉRELEST´ESTÉREL, Colloque AGI'94, pp.221-224, 1994.

C. André and D. Gaffé, Evénements et conditions en GRAFCET. A.P.I.I, vol.28, issue.4, pp.331-352, 1994.

A. Arnold, MEC: a system for constructing and analysing transition systems, LNCS, vol.407, 1989.

P. Aygalinc and J. Denat, Validation de modèles GRAFCET fonctionnels etévaluationet´etévaluation de performances du système associé par l'utilisation des réseaux de petri, pp.135-145, 1992.

G. Berry, A hardware implementation of pure ESTEREL. Miami, ACM Workshop on Formal Methods in VLSI Design, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075083

G. Berry, The Foundations of Esterel, 1998.

N. Bouteille, P. Brard, G. Colombari, N. Cotaina, D. Richet et al., Cépadù es Editions, 1992.

R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE transaction on Computers, C, vol.35, issue.8, pp.677-691, 1986.

R. David and H. Alla, Du GRAFCET aux réseaux de Petri, Automatique. Hermès, 1989.

P. Delanchy, Obtention des situations stables par calcul anticipé des transitions franchissables dans un grafcet, Modélisation des systèmes réactifs (MSR'99), pp.193-202, 1999.

D. Gaffé, Le modèle GRAFCET : réflexion et intégration dans une plate-forme multiformalisme synchrone. PhD thesis, 1996.

G. Iec, Preparation of Function Charts for control systems, 1988.

, NY 10017 USA. IEEE standard VHDL Language Reference Manual, East 47 th Street, 1987.

J. L. Hery, Sémantique fonctionnelle et stabilité du grafcet sous l'hypothèse du synchronisme fort, Modélisation des systèmes réactifs (MSR'99), pp.263-274, 1999.

P. Leparc, D. L'her, J. Scharbarg, and L. Marce, Grafcet revisited with a synchronous data-flow language, IEEE transaction on Systems, Man and Cybernetics -Part A: Systems and Human, vol.29, 1999.

J. Lesage, J. Roussel, J. Faure, P. Lhoste, and J. Zaytoon, Réactivité et déterminisme du comportement temporel du grafcet, pp.99-106, 1998.

M. Moalla, Réseaux de petri interprétés et grafcet. Rairo Automatique, vol.4, pp.17-30, 1985.

J. M. Roussel, Analyse de Grafcets par génération logique de l'automaté equivalent, 1994.

O. Roux and V. Rusu, Du GRAFCET au langage réactif ELECTRE. APII, vol.28, pp.131-157, 1994.