REVENDICATIONS 1- Procédé d'automatisation d'un processus directement à partir de son Grafcet, caractérisé en ce qu'il consiste a - figer les informations ou entrées émanant du processus à automatiser, le figeage de chaque information ou entrée n'étant effectué qu'au moment de l'utilisation de cette entrée au cours du cycle ; - déterminer à partir de ces informations l'évolution effective du Grafcet du système - communiquer au processus les nouvelles consignes établies, c'està-dire mettre à jour les sorties. 2- Procédé d'automatisation selon la revendication 1, caractérisé en ce que l'évolution du Grafcet du système est effectuée cycle après cycle, un cycle correspondant au franchissement de toutes les transitions franchissables à un instant donné. > Procédé d'automatisation selon l'une des revendications 1 ou 2, caractérisé en ce que la phase de figeage des informations est limitée à l'acquisition des seules entrées nécessaires à l'évaluation d'une expression d'entrée ou de sortie. 4- Procédé d'automatisation selon l'une des revendications 1 à 3 , caractérisé en ce que les informations figées ne sont acquises qu'une fois et une seule au cours d'un même cycle. 5- Procédé d'automatisation selon l'une quelconque des revendications 1 à 4, caractérisé en ce que la phase de mise à jour des sorties, qui deviennent les nouvelles entrées pour le cycle suivant, est limitée à la mise à jour des seules sorties qui ont évolué au cours du cycle. S Procédé d'automatisation selon la revendication 5, caractérisé en ce que la mise à jour d'une sortie n'est effectuée qu'une fois au plus au cours d'un même cycle. 7- Procédé d'automatisation selon l'une des revendications 1 à 6, caractérisé en ce que l'évolution du Grafcet est simulée à l'aide d'un procédé basé sur l'étude des transitions validées. S Procédé de simulation de l'évolution du Grafcet selon la revendication 7, caractérisé en ce qu'il consiste à A- déterminer parmi les transitions validées celles qui deviennent franchissables ; B- activer les étapes non actives situées en aval des transitions franchissables et à transformer les transitions en aval de ces étapes en transitions validables; C- désactiver les étapes en amont des transitions franchissables; D- examiner les étapes situées en amont des transitions validées non franchissables déterminées à l'étape A, afin de determiner celles qui seront validées lors du prochain cycle d'évolution. 9- Procédé de simulation selon l'une des revendications 7 ou 8, caractérisé en ce que la détermination, à l'étape A, parmi les transitions validées de celles qui deviennent franchissables est réalisée en calculant la réceptivité associée à chaque transition validée à partir des valeurs d'entrée lues au début de chaque cycle, une transition validée devenant franchissable lorsque sa réceptivité est vraie. 10- Procédé de simulation selon l'une quelconque des revendications 7 à 9, caractérisé en ce que l'étape A consiste- à réaliser une partition de l'ensemble des transitions validées en un ensemble de transitions franchissables et en un ensemble de transitions susceptibles de rester validées et devant être examinées à nouveau. I K Procédé de simulation selon l'une quelconque des revendications 8 à 10, caractérisé en ce que dans le cas d'un Grafcet multiple, il consiste à classer les actions (12, 22) par priorités et à traiter ces actions (12, 22) par ordre de priorité décroissante et à verrouiller les "grandeurs-actions" après mise à jour, ce verrouillage étant réalisé par invalidation des variables utilisées, enfin d'action. 12- Procédé de simulation selon la revendication 11, caractérisé en ce qu'il consiste à évaluer les conditions des actions conditionnelles après avoir déterminé les étapes actives du cycle est à choisir l'action à effectuer suivant le résultat du test, les actions retenues étant effectuées en respectant l'ordre de priorité. 1S Procédé de simulation selon l'une des revendications 11 ou 12, caractérisé en ce qu'il consiste à définir quatre types d'interactions entre les Grafcets : - lancement de l'exécution d'un Grafcet à partir d'un autre Grafcet (lancer) - arrêt complet de l'exécution d'un Grafcet à partir d'un autre Grafcet (tuer) - commande depuis un Grafcet de la suspension de l'exécution d'un Grafcet, celui-ci restant néanmoins dans le contextede la loi de commande et pouvant repartir sur demande programmée de l'utilisateur, ses étapes actives restant actives pendant la suspension de l'exécution, (figer) - commande depuis un Grafcet de la reprise de l'exécution d'un Grafcet précédemment figé (relancer). 14- Procédé de simulation selon la revendication 13, caractérisé en ce qu'il consiste - à l'étape A, à ne calculer la réceptivité que des transitions validées dont le Grafcet n'est pas figé ou tué, à placer la transition dans l'ensemble des transitions devant être examinées si le Grafcet est figé, et à perdre la transition si le Grafcet est tué, et en ce qu'il comprend en outre les étapes consistant à: : E - déterminer les étapes comportant les actions conditionnelles et actives au cycle précédent qui restent actives en fin du cycle d'évolution en cours, F - déterminer les actions conditionnelles qu'il faut effectivement effectuer compte tenu des conditions relatives aux étapes actives du cycle en cours, et en tenant compte des priorités, G - exécution par ordre de priorité décroissante les actions à effectuer de façon à mettre à jour les sorties, ces actions n'étant exécutées que si le Grafcet associé est non figé et actif.