Coopération GRAFCET/ESTÉRELEST´ESTÉREL, Colloque AGI'94, pp.221-224, 1994. ,
, Evénements et conditions en GRAFCET. A.P.I.I, vol.28, issue.4, pp.331-352, 1994.
MEC: a system for constructing and analysing transition systems, LNCS, vol.407, 1989. ,
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. ,
A hardware implementation of pure ESTEREL. Miami, ACM Workshop on Formal Methods in VLSI Design, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075083
The Foundations of Esterel, 1998. ,
, Cépadù es Editions, 1992.
Graph-based algorithms for boolean function manipulation, IEEE transaction on Computers, C, vol.35, issue.8, pp.677-691, 1986. ,
Du GRAFCET aux réseaux de Petri, Automatique. Hermès, 1989. ,
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. ,
Le modèle GRAFCET : réflexion et intégration dans une plate-forme multiformalisme synchrone. PhD thesis, 1996. ,
Preparation of Function Charts for control systems, 1988. ,
, NY 10017 USA. IEEE standard VHDL Language Reference Manual, East 47 th Street, 1987.
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. ,
Grafcet revisited with a synchronous data-flow language, IEEE transaction on Systems, Man and Cybernetics -Part A: Systems and Human, vol.29, 1999. ,
, Réactivité et déterminisme du comportement temporel du grafcet, pp.99-106, 1998.
Réseaux de petri interprétés et grafcet. Rairo Automatique, vol.4, pp.17-30, 1985. ,
Analyse de Grafcets par génération logique de l'automaté equivalent, 1994. ,
, Du GRAFCET au langage réactif ELECTRE. APII, vol.28, pp.131-157, 1994.