Utilisation du Grafcet pour la spécification de commande hybride : Automatisation des processus mixtes

Grafcet is a powerful formalism for the specification of control. It is widely used to specify control of hybrid systems. However, its semantic is formally defined only for sequential systems and the lack of semantic of extensions may lead to ambiguous specification. After the study of these problems, the authors propose solutions for a class of extensions : triggered processing.