Brevet FR2679398A1 — publié le 19930122

Procédé d'aide au développement d'un ensemble d'automates communicants. L'invention concerne un procédé d'aide au développement d'un ensemble d'automates communicants, ces automates communicants pouvant être concrétisés par un logiciel implanté dans une machine 5 informatique ou bien par un circuit logique câblé Ce procédé vise plus particulièrement la conception de systèmes de télécommunications, ceux-ci comportant notamment des applications de traitement d'appels pour un centre de commutation Une application de traitement d'appels fonctionne en temps réel et10 comporte de nombreux automates communicants, c'est-à-dire traitant une pluralité de messages qui sont entrelacés. Le développement d'un tel ensemble d'automates nécessite trois intervenants: un concepteur humain; une machine de développement qui est un ordinateur à usage général, dans lequel est implanté15 notamment un logiciel d'aide au développement d'un ensemble d'automates communicants; et une machine cible sur laquelle sera implanté un logiciel qui concrétisera l'ensemble d'automates communicants Dans le cas d'un système de télécommunications, la machine cible est, par exemple, l'unité de commande20 multi-processeurs d'un centre de commutation Dans ce cas, chaque automate est implanté entièrement dans un processeur, mais un même processeur peut supporter plusieurs automates. Le concepteur d'un ensemble d'automates communicants constituant une application de traitement d'appel, par exemple, connaît au départ un ensemble de fonctions qu'il souhaite que cette application remplisse Le comportement de chaque fonction sera décrit par un automate Le concepteur connaît les interfaces externes et les interfaces internes de cet ensemble d'automates Le développement d'un ensemble d'automates communicants comporte30 quatre étapes: une spécification d'un ensemble d'automates communicants, à partir des fonctions souhaitées, ces automates communicants étant destinés à être implantés sous la forme de logiciels dans la machine cible, mais étant développés sur la machine de35 -2- développement, sous la forme de modèles; une analyse des automates et de leurs communications par leurs interfaces, sur cette machine de développement, sous la forme de modèles; une implémentation des automates communicants dans la machine cible, sous la forme de logiciels; une validation de ces logiciels dans la machine cible. Il est connu d'utiliser des techniques de descriptions formelles, lesquelles offrent des moyens puissants, pour concevoir un ensemble d'automates communicants En particulier, on utilise certains langages spécialisés dont la sémantique est basée sur des modèles mathématiques Ces langages permettent aussi de faire certaines vérifications, mais les procédés d'utilisation de ces langages conviennent mal pour des systèmes de grande complexité tels que les systèmes de télécommunications. Par ailleurs, on connaît la technique de modélisation par les réseaux de Petri, notamment par l'article: "Modelling and Analysis of Communication and Cooperation Protocols Using Petri Nets Based Models" North Holland Publishing Compagny Computer Networks 6 ( 1982) pages 419-441. La technique des réseaux de Petri est une extension de la technique des automates séquentiels à nombre d'états fini, cette dernière utilisant les notions d'état et de transition Une transition modèlise le passage du système d'un état stable à un autre état stable L'originalité des réseaux de Petri tient25 essentiellement au fait que les transitions ne relient plus des états globaux d'un système, mais des états partiels appelés places, ce qui permet d'exprimer la synchronisation Un certain nombre de marques appelées jetons, peuvent exister dans les places Chaque configuration des jetons correspond à un état global différent La30 technique des réseaux de Petri permet de représenter un ensemble de nombreux états et de nombreuses transitions d'un automate, et notamment la synchronisation entre automates. Lorsque la technique des réseaux de Petri est utilisée pour développer une application, la spécification de cette application -3- consiste à décrire, sous la forme d'un réseau de Petri des places et une configuration initiale des jetons, pour l'état global initial; des transitions reliées aux places, et associées à des évènements, chaque évènement étant déclencheur ou conséquence d'une transition, ces évènements concrétisant l'interface entre l'application et l'extérieur à l'application. L'analyse consiste à vérifier des propriétés souhaitées par le concepteur, notamment la consistance globale du réseau de Petri obtenu, c'est-à-dire qu'il possède des propriétés minimales d'un - réseau de Petri; et consiste à rechercher des propriétés constamment vraies appelées invariants Une analyse est exhaustive si elle consiste en une recherche de tous les états, notamment pour vérifier l'accessibilité de chaque état et la vivacité de chaque transition La recherche des invariants consiste en une vérification sur la structure du réseau de Petri; et ainsi la détermination de certaines propriétés spécifiques à l'application qui est modélisée. L'ensemble des états accessibles est appelé graphe d'accessibilité, et constitue un automate qui concrétise l'application à développer. L'implémentation sur la machine cible découle directement de la modélisation réalisée sous la forme d'un réseau de Petri pendant l'étape de spécification, en ce qui concerne la synchronisation Il reste à écrire des suites d'instructions correspondant à des25 actions associées aux transitions du modèle réseau de Petri. La validation du logiciel consiste à définir des jeux de test et à faire exécuter ces jeux de test Classiquement ceux-ci sont définis par le concepteur. Pour développer une application complexe, comportant de nombreuses places et de nombreuses transitions, ce procédé connu présente les difficultés suivantes: le concepteur a beaucoup de difficulté à décrire le comportement global de cette application par un réseau de Petri unique;35 -4- l'analyse exhaustive de ce réseau nécessite un temps de calcul et une capacité de mémoire atteignant rapidement des valeurs prohibitives sur la machine de développement; la mise au point est difficile et nécessite de refaire l'analyse de nombreuses fois. Le but de l'invention est de proposer un procédé d'aide au développement d'un ensemble d'automates communicants, qui ne présente pas ces inconvénients. L'objet de l'invention est un procédé d'aide au développement d'un ensemble d'automates communicants, ces automates comportant une pluralité d'interfaces qui traitent une pluralité de messages entrelacés; cet ensemble d'automates étant développé à partir - d'interfaces externes à l'ensemble, d'interfaces inter-automates, et de la fonction que doit remplir chaque automate de cet ensemble, et de la fonction que remplit l'environnement extérieur à chaque interface externe à l'ensemble; caractérisé en ce qu'il consiste à fournir à une machine de développement une description de réseaux de Petri élémentaires dits initiaux, modélisant respectivement les comportements partiels de chaque fonction, en décrivant notamment des évènements déclencheurs ou conséquences de transitions dans chaque réseau de Petri initial en attribuant une étiquette à chaque transition, cette étiquette étant fonction d'au moins un évènement, chaque évènement étant un déclencheur ou étant une conséquence de cette transition, ces évènements concrétisant:25 des interfaces externes à l'ensemble d'automates, des interfaces inter- automates, et des interfaces inter-réseaux initiaux; vérifier, au moyen de cette machine de développement, que chaque réseau initial possède des propriétés souhaitées; fournir à cette machine de développement une description des contraintes inter-réseaux initiaux, correspondant au comportement de l'environnement extérieur à l'ensemble d'automates; désigner à cette machine de développement, une pluralité de réseaux à composer et un mode de communication, pour lui faire composer des réseaux de Petri initiaux, entre eux ou avec des35 -5- réseaux de Petri remplaçant des réseaux initiaux ayant été composés précédemment, ou bien composer des réseaux remplaçant des réseaux initiaux ayant été composés précédemment; chaque composition étant réalisée en faisant communiquer au moins deux réseaux, par l'intermédiaire des étiquettes de leurs transitions, selon le mode de communication désigné, ce dernier étant choisi parmi un mode synchrone; un mode asynchrone; un mode dit pseudo-synchrone, selon lequel les évènements constituant une communication avec l'extérieur au réseau résultant de la composition, sont synchrones vis-à-vis de l'extérieur des réseaux à composer et sont asynchrones vis-à-vis des réseaux à composer; chaque composition par le mode pseudo-synchrone tenant compte des contraintes inter-réseaux; puis vérifier, au moyen de la machine de développement, que le réseau obtenu par cette composition a des propriétés souhaitées; fournir à la machine de développement une description de réseaux initiaux modifiés, en remplacement de réseaux initiaux à composer, si le réseau obtenu en composant ces derniers n'a pas les propriétés souhaitées; puis désigner de nouveau à la machine de développement une pluralité de réseaux à composer et un mode de communication pour lui faire réaliser une suite de compositions et de vérifications, jusqu'à l'obtention de réseaux de Petri ayant des propriétés souhaitées et modélisant respectivement: chaque communication25 entre deux automates ou entre une interface externe d'un automate et l'environnement de l'ensemble d'automates, et chaque automate de l'ensemble. Le procédé ainsi caractérisé a pour avantage que le concepteur humain d'un ensemble d'automates communicants très complexe, n'a à concevoir, et à manipuler, que des réseaux de Petri élémentaires, c'est-à-dire ne comportant que quelques places et transitions La composition de réseaux de Petri élémentaires, puis la composition de réseaux de Petri remplaçant des réseaux initiaux ayant été précédemment composés, permet de modéliser finalement un ensemble35 -6- d'automates beaucoup plus complexe que celui qui pourrait être modélisé par un réseau de Petri global, ou par un langage de description formelle reposant sur la modélisation par automates. Le procédé ainsi caractérisé permet de concevoir un ensemble d'automates communicants en réalisant une analyse exhaustive des réseaux de Petri modélisant ces automates, sans nécessiter un temps de calcul et une capacité de mémoire ayant des valeurs prohibitives, parce que la vérification des propriétés souhaitées est faite par étapes, au fur et à mesure de la composition des10 réseaux de Petri initiaux, et sans aller jusqu'à un réseau de Petri modélisant l'ensemble des automates. L'implémentation d'un automate obtenu par le procédé selon l'invention consiste à écrire une suite d'instructions pour chaque transition de réseau de Petri élémentaire Le nombre de transitions est plus élevé que celui obtenu par une modélisation par un réseau de Petri unique, à cause des compositions de réseau Ce nombre élevé de transitions facilite l'écriture des suites d'instructions correspondant à des actions associées aux transitions, puisque l'augmentation du nombre des transitions correspond à une20 simplification des actions associées aux transitions Autrement dit, chaque action est réalisée au moyen d'un plus petit nombre d'instructions Ces suites d'instructions ont en plus l'avantage d'avoir un déroulement linéaire, c'est-à-dire sans branchement. Elles sont donc faciles à mettre au point. La validation du logiciel implémentant cet ensemble d'automates est simple car, la cohérence des états et des transitions ayant été vérifiée avant l'implantation sur la machine cible, il ne reste qu'à vérifier les suites d'instructions correspondant à des actions associées aux transitions. Le test est simple puisqu'il peut, lui aussi, être fait par étape Il consiste à produire des suites de franchissements de transitions en parcourant de façon complète l'ensemble de transitions de l'automate dérivé du réseau de Petri obtenu pour chaque automate et pour chaque communication Ces suites de35 franchissements de transitions peuvent être éventuellement réduites -7- ensuite, selon des critères de sélection, afin de réduire le nombre de tests. Le procédé ainsi caractérisé a enfin pour avantage de faciliter la maintenance d'un ensemble d'automates ayant été conçus à l'aide de ce procédé Toute modification ou extension de cet ensemble d'automates ne doit pas dégrader la cohérence de l'ensemble Pour que cette condition soit remplie, il est nécessaire de reprendre la mise en oeuvre du procédé selon l'invention, dès son point de départ, c'est-à-dire dès la description des réseaux de Petri élémentaires initiaux Ceci peut sembler être une contrainte, à première vue, mais en fait ceci garantit la qualité du logiciel obtenu finalement après ces opérations de maintenance. Selon une autre caractéristique, pour réaliser des compositions par le mode de communication synchrone, le procédé selon l'invention consiste à fusionner toutes les transitions appartenant à deux réseaux à composer et dont les étiquettes comportent un même événement qui est soit conséquence de l'une des transitions et déclencheur d'une autre transition; soit conséquence commune des transitions; soit déclencheur commun des transitions. Selon une autre caractéristique, pour réaliser des compositions par le mode de communication asynchrone, le procédé selon l'invention consiste à: relier un premier et un deuxième réseau à composer, par une file dans chaque sens de communication; imposer des contraintes temporaires sur le protocole de communication utilisant ces deux files, pendant la durée de la vérification des propriétés souhaitées du réseau résultant de la composition des deux réseaux à composer et des deux files. Selon une autre caractéristique, pour réaliser des compositions selon le mode de communication pseudo-synchrone, le procédé selon l'invention consiste à: -8- relier ces réseaux par une file unique possédant une pluralité d'entrées reliées respectivement à une sortie de chacun des réseaux à composer, et une pluralité de sorties reliées respectivement à une entrée de chacun des réseaux à composer; imposer une contrainte permanente consistant à donner la priorité aux évènements en provenance de cette file, par rapport aux évènements en provenance des interfaces extérieures au réseau obtenu, pour le déclenchement de transitions dans les réseaux à composer; imposer des contraintes temporaires inter-réseaux, uniquement pendant la durée de la vérification des propriétés souhaitées du réseau de Petri modélisant le comportement d'un automate, et consistant à ajouter des conditions pour le déclenchement de transitions d'un réseau à composer, ces conditions portant sur l'état des autres réseaux à composer, et correspondant au comportement de l'environnement du réseau résultant. Selon un mode de mise en oeuvre préférentiel, et si tous les réseaux de Petri initiaux comportent chacun au plus une interface externe à un automate, la composition des réseaux élémentaires initiaux est réalisée en trois étapes successives, dans cet ordre: une première étape consistant à: composer des réseaux deux à deux par le mode de communication synchrone, pour obtenir des réseaux de Petri remplaçant des réseaux initiaux et comportant au plus une interface externe à un automate; vérifier que les réseaux obtenus ont des propriétés souhaitées; et recommencer la première étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées; une deuxième étape consistant, pour chaque interface externe à un automate, à: composer deux à deux par le mode de communication asynchrone des réseaux de Petri issus de la première étape et ayant en commun une interface inter-automates ou externe à l'ensemble d'automates, pour obtenir lors de chaque composition un réseau de Petri modélisant une communication entre deux interfaces inter-automates ou entre une interface externe à un automate et l'environnement de l'automate; vérifier que les réseaux obtenus ont des propriétés souhaitées; et recommencer la première étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées; une troisième étape consistant à: réaliser, pour chaque automate, une composition par le mode de communication pseudo-synchrone, pour composer des réseaux de Petri issus de la première étape et validés par la deuxième étape, en tenant compte des contraintes inter-réseaux initiaux correspondant au comportement de l'extérieur à l'ensemble, pour obtenir un réseau de Petri modélisant le comportement de cet automate, notamment les communications entre les réseaux issus de la première étape; vérifier que les réseaux obtenus ont des propriétés souhaitées; et recommencer la première et la deuxième étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées; Ce mode de mise en oeuvre du procédé selon l'invention réduit les problèmes de mise au point d'un ensemble d'automates parce- que la première étape permet de composer tous les réseaux initiaux qui sont rattachés à une même interface inter-automates ou à une même interface externe d'un automate, ou qui ont en commun de n'être rattachés à aucune interface, ce qui permet de rendre indépendants les problèmes de mise au point de chaque communication entre un25 automate et son environnement La deuxième étape permet de résoudre ces problèmes indépendamment pour chaque communication La troisième étape permet de mettre au point les communications internes à un automate indépendamment des autres automates. D'autres détails de la mise en oeuvre du procédé selon l'invention apparaîtront dans la description ci-dessous et à l'aide des figures l'accompagnant: la figure 1 représente un organigramme d'un exemple de mise en oeuvre du procédé selon l'invention; la figure 2 représente schématiquement un exemple de -10- transition et l'étiquette qui lui est attribuée; les figures 3 à 6 illustrent le mode de communication synchrone qui est utilisé pour composer des réseaux de Petri; la figure 7 illustre la composition de deux réseaux de Petri par le mode de communication asynchrone; la figure 8 illustre la composition de trois réseaux de Petri par le mode de communication dit pseudo-synchrone; les figures 9, l Oa, et l Ob illustrent le mode de mise en oeuvre préférentiel comportant trois étapes successives au cours desquelles sont utilisés successivement les modes de communication: synchrone, asynchrone, pseudo-synchrone. La figure 1 représente un organigramme d'un exemple de mise en oeuvre du procédé selon l'invention, sous la forme d'un logiciel implanté dans une machine de développement constituée d'un ordinateur classique à usage général L'écriture de ce logiciel à partir de la description ci-dessous est à la portée de l'Homme de l'Art Cet exemple de mise en oeuvre est utilisé, par exemple, pour développer un ensemble d'automates communicants constituant une application de traitement d'appels d'un centre de commutation. Chaque fonction sera décrite par un automate. Une première étape 1 de l'organigramme consiste à faire décrire, par le concepteur, chaque fonction de l'application sous la forme de comportements partiels modélisés chacun par un réseau25 de Petri élémentaire initial 3, sous la forme d'interfaces 4, inter-automates ou externes à l'ensemble d'automates, sous la forme de contraintes interréseaux initiaux et sous la forme de propriétés souhaitées, spécifiques pour chaque automate Pour appliquer le mode de mise en oeuvre préférentiel du procédé selon30 l'invention, le concepteur prend soin de modéliser chaque comportement partiel par un réseau de Petri élémentaire initial n'ayant qu'une seule interface, ou aucune interface externe à un automate Chaque réseau de Petri initial ayant une interface externe respecte des contraintes imposées par des interfaces35 externes à l'ensemble d'automates ou par des interfaces inter-automates La définition de chaque réseau initial correspond généralement à une phase d'une communication Les contraintes inter-réseaux initiaux corespondent, pour chaque automate, au comportement de l'environnement extérieur à l'ensemble. Au moment de faire réaliser, par la machine de développement, chaque composition de réseaux de Petri, le concepteur indique à la machine de développement quels réseaux il souhaite composer et selon quel mode de communication, 2. Au cours de la description initiale le concepteur décrit aussi des données complémentaires 5 concernant les actions associées aux transitions et qui seront nécessaires au moment au moment de l'implémentation du logiciel concrétisant l'ensemble d'automates qui va être développé. L'étape suivante consiste en une première analyse 9 pour vérifier la consistance des réseaux de Petri initiaux Elle vérifie les propriétés minimales et classiques d'un réseau de Petri: Il doit être borné, vivant, propre, et sans blocage Si l'un des réseaux initiaux n'a pas toutes ces propriétés, la machine de développement le signale au concepteur pour qu'il rectifie la description initiale des comportements partiels. La description initiale 1 de chaque réseau de Petri consiste aussi à décrire pour chaque transition de ce réseau, les évènements déclencheurs de cette transition et les évènements conséquences de cette transition Cette description est réalisée de manière très concise, sous la forme d'une étiquette attribuée à chaque transition, en inscrivant ces évènements les uns à la suite des autres et en faisant précéder chacun d'un symbole, ? ou l, indiquant respectivement si c'est un évènement déclencheur ou si c'est un évènement conséquence de la transition.30 La figure 2 représente à titre d'exemple une transition et son étiquette ?Ml l M 2 l M 3 l M 4 Cette étiquette signifie que la transition est déclenchée par l'évènement Ml et qu'elle a pour conséquences des évènements M 2, M 3, M 4 Comme il apparaîtra plus loin, la comparaison entre les étiquettes respectives de deux35 transitions de deux réseaux différents permet de savoir quels sont -12- leurs interactions Ces étiquettes sont donc une représentation de la communication entre des transitions n'appartenant pas à un même réseau de Petri Elles sont utilisées par la machine de développement, pour composer des réseaux de Petri, désignés par le 5 concepteur, lorsque le concepteur yeut établir une communication entre des réseaux à composer. Sur la figure 1, la mise en oeuvre du procédé selon l'invention consiste ensuite à faire réaliser par la machine de développement une série de compositions 7 et d'analyses 9 Chaque10 composition 7 étant suivie d'une analyse 9 du réseau résultant 8, qui fournit un graphe d'accessibilité 11 et vérifie les propriétés du réseau résultant, et les confronte aux propriétés souhaitées 4. Pour faciliter la vérification de propriétés spécifiques de réseaux résultant de la composition de réseaux, le procédé consiste, en outre, à repérer certains évènements au moment o le concepteur décrit les réseaux de Petri initiaux Les événements ainsi repérés, sont éliminés du graphe d'accessibilité 11, ce qui permet d'en réduire la taille, et facilite son interprétation par20 le concepteur. Lorsque les trois étapes du procédé ont été réalisés avec succès, le procédé d'aide à la conception peut être suivi d'une implémentation 12 de l'ensemble des automates ayant été ainsi conçus et analysés Cette implémentation consiste à faire25 correspondre des tâches logicielles aux transitions d'un graphe d'accessibilité La machine de développement décrit les transitions sous la forme de tableaux de données structurées 13 Ces transitions peuvent être activées par un logiciel classique: interprète d'automate ou interprète multi-automates, implanté sur30 la machine cible La taille des tables de descriptions du graphe d'accessibilité est généralement prohibitive lorsqu'on considère le graphe d'accessibilité du réseau de Petri modélisant chaque automate de l'ensemble d'automates E Il est donc préférable de décrire plutôt les graphes d'accessibilité de plusieurs35 sous- automates constituant un automate pour obtenir des tables de -13- descriptions ayant des tailles raisonnables Les contraintes inter-réseaux initiaux, lesquelles sont représentées par des contraintes entre sous-automates, ne sont pas implémentées car elles existent déjà dans l'environnement extérieur à l'ensemble. Dans le cas de l'implémentation de plusieurs sous-automates, il est nécessaire de prévoir un mécanisme de synchronisation entre les différents sous-automates, en utilisant une file interne spécifique pour cette synchronisation Cette file est celle utilisée pour la composition des sous-automates et décrite plus loin en référence à la figure 8. Par ailleurs, le concepteur implémente chaque action 5 par une suite d'instructions, la machine de développement identifie cette suite d'instructions 14, en mettant en commentaire le nom de la transition qui correspond à cette action. Lorsque le logiciel a été codé et compilé, il est validé de manière classique au moyen de jeux de test 16 qui sont des séquences d'évènements déterminés à partir des graphes d'accessibilité: soit des modèles représentant les différents automates constituant l'ensemble E; soit des modèles représentant les différents sous-automates constituant chaque automate. Accessoirement l'implémentation 12 produit aussi une documentation 15 en vue de l'utilisation des logiciels implémentant l'ensemble d'automates ayant été conçu. Considérons plus en détails les compositions 7 Chaque composition consiste à composer plusieurs réseaux de Petri Mais selon le mode de mise en oeuvre préférentiel, dans une première étape, toutes les opérations de composition sont réalisées par le mode de communication synchrone et composent exclusivement soit deux réseaux initiaux; soit un réseau initial et un réseau remplaçant des réseaux initiaux ayant été composés précédemment; soit deux réseaux remplaçants. En outre, au cours de cette première étape, les réseaux de -14- Petri résultant de ces compositions doivent comporter au plus une interface externe à un automate. Le mode de communication synchrone consiste à fusionner au moins deux transitions appartenant aux deux réseaux de Petri à composer et ayant un même évènement en commun dans leurs étiquettes Les figures 3 à 5 illustrent ces trois types possibles de fusion de transitions Le concepteur choisit l'un de ces trois types pour chaque fusion. La figure 3 illustre un premier type de fusion Fl Si un réseau de Petri Rl possède une transition qui a pour conséquence l'évènement M et si le réseau R 2 possède une transition qui a pour déclencheur l'évènement M, ces deux réseaux peuvent être fusionnés par le type de fusion Fl pour constituer un réseau R 3 possédant une transition résultant de la fusion des deux transitions considérées. La figure 4 illustre un second type de fusion F 2 Si un réseau R 4 possède une transition déclenchée par un évènement M et si un réseau R 5 possède une transition déclenchée, elle aussi, par l'évènement M, ces deux réseaux peuvent être fusionnés en un réseau R 6 possédant une transition résultant de la fusion des deux20 transitions considérées et qui est déclenchée par l'évènement M. La figure 5 illustre un troisième type de fusion F 3 Si un réseau R 7 possède une transition ayant pour conséquence un évènement M et si un réseau R 8 possède une transition qui a, elle aussi, pour conséquence l'évènement M, alors ces deux réseaux peuvent être fusionnés pour constituer un réseau de Petri R 9 possédant une transition qui a pour conséquence l'évènement M. Lorsque chacun des réseaux à composer possède plus d'une transition qui est la conséquence ou le déclencheur d'un même évènement, le réseau remplaçant les réseaux composés possède des transitions résultantes qui sont répliquées à cause de la composition deux à deux des transitions des réseaux à composer. La figure 6 illustre ce cas Si un réseau R 1 O possède deux transitions tl, t 2 qui ont pour déclencheur un même évènement M et si un réseau Rll possède deux transitions ta, tb qui ont pour35 conséquence le même évènement M, alors il est possible de fusionner -15- ces transitions deux à deux par le type de fusion Fl et d'obtenir un réseau résultant R 12 comportant quatre transitions tla, tlb, t 2 a, t 2 b. Comme représenté sur la figure 1, après chaque composition 7, un réseau résultant 8 subit une analyse 9 qui consiste à vérifier, , que les propriétés obtenues correspondent aux propriétés 4 souhaitées par le concepteur, et à déterminer un graphe d'accessibilité 11 La détermination 11 du graphe d'accessibilité et la vérification 10 des propriétés sont réalisées simultanément par la machine de développement, selon des procédés de calcul classiques pour des réseaux de Petri Cette analyse est dynamique et exhaustive, c'est-à-dire recherche tous les états et toutes les transitions possibles dans le réseau résultant de la composition. Elle déduit de ce graphe les propriétés générales de ce réseau et notamment vérifie s'il est: borné, sauf, vivant, propre, et sans blocage. Elle détermine en outre si le réseau a les propriétés spécifiques souhaitées recherchées par le concepteur Si le réseau a toutes les propriétés spécifiques souhaitées, la mise en oeuvre du procédé peut être poursuivie Dans le cas contraire, la machine de développement indique au concepteur quelles sont les propriétés qui ne sont pas vérifiées Le concepteur modifie la description des réseaux initiaux pour y remédier D'autre part, le graphe d'accesibilité 11 peut être réutilisé pour des compositions ultérieures avec d'autres réseaux de Petri, soit initiaux, soit résultant de composition précédemment réalisées. Selon le mode de mise en oeuvre préférentiel, une deuxième étape, pour les compositions 7 de réseaux de Petri, consiste pour chaque interface externe à l'ensemble d'automates et pour chaque interface inter- automates, à réaliser des compositions par le mode de communication asynchrone pour composer des réseaux de Petri remplaçant des réseaux initiaux, entre eux ou avec un réseau initial éventuellement subsistant, pour obtenir lors de chaque composition un réseau de Petri modélisant une communication entre35 deux automates ou entre une interface externe à un automate et -16- l'environnement de cet automate. Chacun des réseaux de Petri obtenus à la fin de la première étape représente le comportement d'un sous-automate constituant une partie de l'un des automates à concevoir, même s'il s'agit d'un réseau initial subsistant. Toutes les opérations de composition réalisées au cours de la deuxième étape sont réalisées au moyen de deux files, une dans chaque sens de communication Ces deux files sont du type "premier entré, premier sorti", et sont incorporées au réseau résultant Ce mode de communication est utilisé pour pouvoir analyser des dialogues asynchrones entre réseaux de Petri, et plus particulièrement pour analyser des protocoles de communication. La figure 7 illustre le mode de communication asynchrone, dans un exemple o deux réseaux R 13 et R 14 sont mis en communication au moyen de deux files référencées FIFO 1 et FIFO 2, une pour chaque sens, pour constituer un réseau résultant RR Pour mieux analyser la communication asynchrone entre les deux réseaux, des contraintes sur la communication peuvent consister à imposer: des pertes de signaux ou des débordements de temporisation; ou une certaine synchronisation temporaire, selon une transmission en alternat entre les deux réseaux; ou bien une limitation temporaire du nombre d'évènements stockés en attente dans chacune des deux files Ces contraintes sont intégrées automatiquement aux réseaux de Petri, par la machine d'aide au développemement, sous la commande du25 concepteur Il est à la portée de l'homme de l'art de réaliser un programme, pour cette machine de développement, mettant en oeuvre cette caractéristique du procédé selon l'invention. Selon le mode de mise en oeuvre préférentiel du procédé selon l'invention, les compositions de réseaux comportent une troisième étape consistant à réaliser des compositions uniquement par le mode de communication pseudo-synchrone, pour composer les réseaux de Petri fournis par la premiètre étape Le mode de communication pseudo-synchrone est obtenu au moyen d'une seule file du type "premier entré premier sorti", et en donnant une priorité aux transitions déclenchées par des évènements conséquences de transi- -17- tions internes aux réseaux à composer, par rapport aux transitions déclenchées par des événements externes à ces réseaux. Cette priorité ainsi que la file garantissent une communication synchrone à l'extérieur du réseau résultant mais maintiennent une communication asynchrone à l'intérieur du réseau résultant. La figure 8 illustre la communication pseudo-synchrone Elle représente un réseau de Petri R 18 résultant de la composition de trois réseaux de Petri R 15, R 16, R 17 au moyen d'une file de type10 "premier entré premier sorti" référencée FIFO 5 et qui est incorporée au réseau résultant R 18 Ce réseau résultant possède une interface le reliant au reste de l'ensemble d'automates et le reliant à l'extérieur de l'ensemble, constituée par exemple d'une file d'entrée référencée FIFO 3 et d'une file de sortie référencée15 FIFO 4 La file FIF 05 comporte trois entrées reliées respectivement à trois sorties des réseaux R 15 à R 17 et trois sorties reliées respectivement à trois entrées des réseaux R 15 à R 17 Chaque événement qui est la conséquence d'une transition dans l'un des réseaux R 15, R 16, R 17 et qui est le déclencheur d'une autre transition dans l'un de ces réseaux transite par la file d'attente FIFO 5 Ces événements vont donc réagir sur les réseaux R 15, R 16, R 17 dans l'ordre o ils sont inscrits dans la file d'attente FIFO 5. Cette file, et la priorité selon laquelle elle est gérée, maintiennent synchrone la communication vis-à-vis des évènements25 externes au réseau résultant R 18. Dans cet exemple, le réseau R 15 comporte une transition déclenchée par l'événement Il et ayant pour conséquence l'événement I 2 Le réseau R 16 possède une première transition déclenchée par un événement qui est un message ME Sl reçu par l'interface et cette transition a pour conséquence un événement Il Le réseau R 16 possède une seconde transition déclenchée par un événement qui est un message ME 52, et qui est sans conséquence Le réseau R 17 possède une transition qui est déclenchée par l'événement I 2 et qui a pour conséquence un événement constitué par un message ME 53.35 Sur la figure 8, les chiffres entre parenthèses indiquent -18- l'ordre de déclenchement des transitions conformément à la règle de priorité A l'instant considéré, les messages ME 51 et ME 52 viennent d'être inscrits dans la file d'entrée FIF 03 de l'interface du réseau résultant R 18 La première transition du réseau R 16 est déclenchée par le message ME Si qui est lu en premier dans la file d'entrée FIF 03 Cette transition a pour conséquence l'évènement Il Ce dernier déclenche immédiatement la transition du réseau R 15 car il est prioritaire par rapport à la lecture du message ME 52 Cette transition, qui est la deuxième transition depuis l'arrivée des messages, a pour conséquence l'évènement I 2. L'évènement I 2 est lui aussi prioritaire par rapport à la lecture du message ME 52 Il déclenche la transition du réseau R 17, qui a pour conséquence un évènement qui est l'émission d'un message ME 53 qui est inscrit dans la file de sortie FIF 04 Il n'y a plus d'interaction interne possible pour le moment, la règle de priorité autorise à lire le prochain message ME 52, qui est stocké dans la file d'entrée FIF 03 Ce message ME 52 est un évènement qui déclenche la seconde transition du réseau R 16 L'ordre de prise en compte des messages externes est donc finalement: ME 51, ME 53, ME 52 Le message ME 52 ne déclenche la seconde transition du réseau R 16 qu'après que le message ME Sl ait été complètement traité, c'est-à-dire après avoir déclenché la première transition de R 16 puis la transition de R 15 puis la transition de R 17 La communication entre les réseaux R 15, R 16, R 17 est donc globalement asynchrone à l'intérieur du réseau résultant R 18, mais la communication est synchrone avec l'extérieur. Les figures 9, l Oa, et l Ob illustrent un exemple de mise en oeuvre du procédé selon l'invention, selon le mode préférentiel, pour aider au développement d'un ensemble d'automates communicants E, cet ensemble comportant des interfaces externes Il, I 2, I 3 et des interfaces internes inter-automates I 4 à 17 Les interfaces Il, I 2, I 3 sont respectivement des interfaces externes aux automates Al, A 3, A 2 Les automates Al et A 3 sont reliés par l'interface inter-automates I 7 Les automates A 2 et A 4 sont reliés par35 l'interface inter-automates I 4 Les automates A 3 et A 4 sont reliés -19- par l'interface inter- automates I 5 Les automates A 2 et Ai sont reliés par l'interface inter-automates I 6. Au départ, le concepteur connaît les fonctions réalisées par les environnements de ces interfaces externes Il, I 2, I 3; et il connaît la fonction que doit remplir chacun des automates de l'ensemble: Al, A 2, A 3, A 4 La fonction de chacun de ces environnements et de ces automates est décomposable en comportements partiels Le concepteur décrit chacun de ces comportements partiels au moyen d'un réseau de Petri élémentaire, c'est-à-dire, ne comportant que quelques transitions et quelques places. Cette description consiste à fournir à la machine de développement une étiquette pour chaque transition, cette étiquette contenant un événement déclencheur et la liste des événements conséquences de cette transition, notés de la façon décrite précédemment en référence à la figure 2 En principe, il n'y a pas, dans un même réseau de Petri initial, deux transitions déclenchées au même instant par un même événement Cependant la technique des réseaux de Petri et le procédé selon l'invention n'interdisent pas20 de concevoir et d'utiliser un réseau de Petri initial comportant plusieurs transitions déclenchables au même instant par un même événement Ces transitions sont dites indéterministes Il est cependant nécessaire que des conditions supplémentaires permettent de lever l'indétermination du choix de déclenchement de ces25 transitions, au moment de l'implémentation de l'ensemble d'automates. Les événements qui constituent les étiquettes des réseaux de Pétri élémentaires initiaux sont: des événements concrétisant les interfaces externes Il, I 2, I 3; des événements concrétisant les30 interfaces inter-automates I 4 à I 7; des évènements concrétisant des interfaces inter-réseaux initiaux; et des événements internes à un automate, réalisant un choix entre des transitions indéterministes. Le concepteur fournit en outre à la machine de développement une description de contraintes inter-réseaux initiaux correspondant au comportement de l'environnement extérieur à l'ensemble -20- d'automates E, et une description de propriétés souhaitées pour les réseaux de Petri élémentaires initiaux, mais aussi pour les réseaux de Petri résultant des compositions réalisées ultérieurement Ces propriétés souhaitées sont d'une part la consistance de chaque réseau de Petri, et d'autre part des proprités spécifiques à chacun de ces réseaux. Le concepteur fournit aussi à la machine de développement une description de réseaux de Petri initiaux, modélisant respectivement les comportements de l'environnement extérieur à chacune des interfaces externes Il, I 2, I 3 de l'ensemble d'automates E. Conformément au mode de mise en oeuvre préférentiel du procédé selon l'invention, le concepteur conçoit les réseaux de Petri initiaux de telle sorte que chacun comporte au plus une interface externe à un automate, et il commande la composition des réseaux initiaux selon la première et la deuxième étapes décrites précédemment. La figure 10, constituée de la réunion des figures l Oa et lob, représente schématiquement les réseaux de Petri initiaux et les opérations de composition réalisées pour concevoir l'ensemble20 d'automates E représenté sur la figure 9 Les opérations de composition de la première étape sont toutes repérées par le chiffre 1 ', les opérations de composition de la deuxième étape sont toutes repérées par le chiffre 2 ', et les opérations de composition de la troisième étape sont toutes repérées par le chiffre 3 '.25 La première étape consiste à composer des réseaux de Petri initiaux deux à deux par le mode de communication synchrone, et à vérifier que les réseaux résultants ont les propriétés souhaitées, pour obtenir des réseaux de Petri comportant au plus une interface externe à un automate Par exemple, dans l'automate Al, dont les30 comportements partiels sont modélisés par des réseaux de Petri élémentaires Bl à B 13, la première étape consiste à: composer les réseaux initiaux Bl et B 2, pour obtenir un réseau résultant Pl; composer le réseau résultant Pl avec le réseau initial B 3, pour obtenir un réseau résultant 52 qui a une interface unique, Il, avec l'extérieur à l'automate Al. Tous les réseaux BI, B 2, B 3 qui ont Il pour interface externe -21- ont été composés Le réseau résultant 52 représente un sous- automate qui sera utilisé au cours de la deuxième étape du procédé. La mise en oeuvre consiste ensuite à composer d'autres réseaux initiaux: composer les réseaux initiaux B 4 et B 5, pour obtenir un réseau résultant P 2; composer les réseaux initiaux B 6 et B 7 pour obtenir un réseau résultant P 3; composer les deux réseaux résultants P 2 et P 3, pour obtenir un réseau résultant 53. Tous les réseaux B 4, B 5, B 6, B 7 qui ont I 6 pour interface externe à l'automate Al ont été composés Le réseau résultant 53 représente donc un sous-automate. La mise en oeuvre du procédé selon l'invention consiste ensuite à: composer les réseaux initiaux B 8 et B 9, pour obtenir un réseau résultant P 4; composer le réseau résultant P 4 avec le réseau initial B 6 pour obtenir un réseau résultant 55. Tous les réseaux B 8, B 9, Bl O qui ont I 7 pour interface externe ont été composés Le réseau résultant 55 représente donc un sous- automate. La mise en oeuvre consiste ensuite à composer les réseaux initiaux B 12 et B 13, pour obtenir un réseau résultant 54 qui n'a pas d'interface externe à l'automate Al Il reste un réseau initial BU 1 qui n'a pas été composé mais, dans cet exemple, le concepteur choisit délibérement de ne pas le composer Le réseau résultant 54 et le réseau initial subsistant B 11 représentent eux aussi des30 sous- automates, car ils font partie des réseaux issus de la première étape de la mise en oeuvre. De manière analogue, la première étape de mise en oeuvre consiste, pour l'automate A 2, à: composer en deux étapes des réseaux de Petri élémentaires initiaux B 25, B 26, B 27 pour obtenir un sous- automate 514 ayant une interface I 6 externe à l'automate A 2; -22- composer deux réseaux de Petri élémentaires initiaux B 28 et B 29 pour obtenir un sous-automate 513 qui n'a aucune interface externe à l'automate A 2; composer deux réseaux de Petri initiaux B 30 et B 31 pour obtenir un sous-automate 512 qui a une interface I 5 externe à l'automate A 2; composer en trois étapes les réseaux de Petri B 32, B 33, B 34, B 35 pour obtenir un sous-automate 515 possédant une interface I 3 externe à l'automate A 2, et externe à l'ensemble E; Pour l'automate A 3, la première étape de la mise en oeuvre consiste à: composer les réseaux de Petri élémentaires initiaux B 14 et B 15 pour obtenir un sous-automate 57 possédant une interface I 2 externe à l'automate A 3, et externe à l'ensemble E; composer en deux étapes les réseaux de Petri élémentaires B 16, B 17, B 18 pour obtenir un sous-automate 58 possédant une interface I 7 externe à l'automate A 3; composer les réseaux de Petri élémentaires initiaux B 19 et B 20 pour obtenir un sous-automate 59 possédant une interface I 4 externe à l'automate A 3. Pour l'automate A 4, la première étape consiste à composer deux réseaux de Petri initiaux B 21 et B 22 pour obtenir un sous-automate 510 possédant une interface I 4 externe à l'automate A 4;25 composer deux réseaux de Petri élémentaires initiaux B 23 et B 24 pour obtenir un sous-automate Sll possédant une interface I 5 externe à l'automate A 4. Pour les environnements respectifs des interfaces Il, I 2, I 3 externes à l'ensemble d'automates E, la première étape consiste à: composer deux réseaux de Petri élémentaires B 36 et B 37, modélisant respectivement des comportements partiels de l'environnement extérieur à l'interface I 1, pour obtenir un sous- automate 51 ayant une seule interface qui est cette interface Il;35 composer deux réseaux de Petri initiaux B 38 et B 39 qui -23- représentent respectivement des comportements partiels de l'environnement extérieur à l'interface I 2 externe à l'ensemble E, pour obtenir un sous-automate 56 ayant une seule interface qui est cette interface l'interface I 2; s composer deux réseaux de Petri élémentaires B 40 et B 41 modélisant respectivement des comportements partiels de l'environnement extérieur à l'interface I 3 externe à l'ensemble E, pour obtenir un sous-automate 516 ayant une seule interface constituée par l'interface I 3. La deuxième étape de la mise en oeuvre du procédé consiste, pour chaque interface externe à un automate, c'est-à-dire aussi bien les interfaces inter-automates que les interfaces externes à l'ensemble E, à: composer deux à deux par le mode de communication asynchrone des réseaux Sl à 516 la première étape, et ayant en commun une interface inter-automates ou externe à l'ensemble d'automates; et à vérifier que le réseau obtenu a les propriétés souhaitées par le concepteur Le concepteur indique à la machine les deux réseaux à composer et indique qu'ils doivent être composés par le mode de communication asynchrone Chaque composition fournit un réseau de Petri résultant qui modélise la communication entre deux interfaces inter-automates ou entre une interface externe à un automate et l'environnement de cet automate Si la machine de développement constate que le réseau résultant d'une composition n'a pas les propriétés souhaitées pour ce réseau, elle le signale au concepteur et celui-ci doit modifier certains réseaux de Petri initiaux et relancer la première étape, pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées. Dans cet exemple, la deuxième étape consiste donc à composer le sous-automate Sl qui modélise l'environnement extérieur à l'interface Il externe à l'ensemble E, et le sous-automate 52 de l'automate Al, pour obtenir un réseau résultant RC 1 modélisant une communication entre Al et l'extérieur à l'ensemble E, par l'interface externe Il;35 composer le sous-automate 56 modélisant l'environnement -24extérieur à l'interface I 2, avec le sous-automate 57 de l'automate A 3, pour obtenir un réseau résultant RC 2 modélisant la communication entre A 2 et l'extérieur à l'ensemble E, par l'interface I 2; composer le sous-automate 516 modélisant l'environnement extérieur à l'interface I 3, avec le sous-automate 515 de l'automate A 2, pour obtenir un réseau résultant RC 6 modélisant la communication de A 2 avec l'extérieur à l'ensemble E, par l'interface I 3; composer le sous-automate 55 de l'automate Al avec le sous-automate 58 de l'automate A 3 pour obtenir un réseau résultant RC 3 modélisant la communication par l'interface I 7 entre les automates Al et A 3; composer le sous- automate 59 de l'automate A 3 avec le sous-automate Sl O de l'automate A 4 pour obtenir un réseau résultant RC 4 modélisant la communication par l'interface I 4 entre les automates A 3 et A 4; composer le sous-automate Sll de l'automate A 4 avec le sous-automate 512 de l'automate A 2, pour obtenir un réseau résultant RC 5 modélisant la communication par l'interface I 5 entre les automates A 2 et A 4; composer le sous-automate 514 de l'automate A 2 avec le sous- automate 53 de l'automate Al, pour obtenir un réseau résultant RC 7 modélisant la communication par l'interface I 6 entre les automates Al et A 2. Lorsque tous les réseaux résultants issus de la deuxième étape possèdent les propriétés souhaitées par le concepteur, la communication inter-automates et la communication avec l'environnement extérieur à l'ensemble E peuvent être considérées30 comme validées Le concepteur passe alors à la mise en oeuvre de la troisième étape Celle-ci consiste à réaliser des compositions par le mode de communication pseudo-synchrone, pour composer des réseaux de Petri modélisant des sous-automates issus de la première étape et validés par la deuxième étape, jusqu'à obtenir pour chaque automate, un réseau de Petri modélisant la fonction de cet -25automate, notamment les communications entre les sous-automates qui constituent cet automate Les réseaux de Petri Si, 56, 516 ont été utilisés pour modéliser les communications avec l'extérieur à l'ensemble, mais ils ne font pas partie de l'ensemble d'automates Al,,A 4 Ils ne sont donc pas considérés au cours de cette troisième étape. Dans cet exemple, la troisième étape consiste à composer les sousautomates 52, 53, 54, 55, et Bll pour obtenir un réseau de Petri résultant modélisant l'ensemble de l'automate Al; composer les sous- automates 57, 58, 59, pour obtenir un réseau résultant modélisant l'automate A 3; composer les sous-automates 510 et Sll pour obtenir un réseau résultant modélisant l'automate A 4; composer les sous-automates 512, 513, 514, 515, pour obtenir un réseau résultant modélisant l'automate A 2. Lorsque tous les réseaux résultant de cette troisième étape ont effectivement les propriétés souhaitées par le concepteur, la mise au point des automates peut être considérée comme terminée Il20 ne reste plus qu'à implémenter ces automates Cette implémentation est réalisée de préférence en implémentant les sous-automates, plutôt que les automates, sous la forme de tables de données structurées décrivant les transitions de ces sous-automates Ces tables de données sont déduites, de manière classique, du graphe25 d'accessibilité déterminé au cours de l'analyse de chacun des réseaux de Petri issus de la première étape et validés, pendant la deuxième étape de la mise en oeuvre du procédé selon l'invention. L'implémentation consiste en outre à implémenter les communications asynchrones et pseudo- synchrones, qui ont permis de30 composer les réseaux au cours de la deuxième et de la troisième étape, sous la forme de suite d'instructions; et implémenter un moteur d'automate pour chaque automate, ce moteur utilisant ces tables de données et ces suites d'instructions pour concrétiser cet automate La réalisation d'un logiciel implémentant ces moteurs35 d'automate est à la portée d'un Homme de l'Art. -26- La portée de l'invention n'est pas limitée à un ensemble d'automates concrétisé par un logiciel Un ensemble d'automates développé à l'aide du procédé selon l'invention peut aussi être concrétisé par un circuit logique câblé ou microprogrammé. -27- REVENDICATIONS 1) Procédé d'aide au développement d'un ensemble (E) d'automates communicants (Al à A 4), ces automates comportant une pluralité d'interfaces qui traitent une pluralité de messages entrelacés; cet ensemble d'automates étant développé à partir d'interfaces externes à l'ensemble, d'interfaces (Il à I 3) inter-automates (I 4 à I 7), de la fonction que doit remplir chaque automate de cet ensemble, et de la fonction que remplit l'environnement extérieur à chaque interface externe à l'ensemble; caractérisé en ce qu'il consiste à: fournir ( 1) à une machine de développement une description ( 3) de réseaux de Petri élémentaires dits initiaux, modélisant respectivement des comportements partiels de chaque fonction, en décrivant notamment des évènements déclencheurs ou conséquences de transitions dans chaque réseau de Petri initial en attribuant une étiquette à chaque transition, cette étiquette étant fonction d'au moins un évènement, chaque évènement étant un déclencheur ou étant une conséquence de cette transition; ces évènements concrétisant: des interfaces externes à l'ensemble d'automates, des interfaces inter- automates, et des interfaces inter-réseaux initiaux; vérifier ( 9), au moyen de cette machine de développement, que chaque réseau initial possède des propriétés souhaitées ( 4); fournir ( 1) à cette machine de développement une description ( 4) de contraintes inter-réseaux initiaux, correspondant au comportement de l'environnement extérieur à l'ensemble d'automates; désigner ( 1) à cette machine de développement, une pluralité de réseaux à composer et un mode de communication ( 2), pour lui faire composer ( 7) des réseaux de Petri initiaux, entre eux ou avec des réseaux de Pétri ( 8) remplaçant des réseaux initiaux ayant été30 composés précédemment, ou bien composer des réseaux remplaçant des réseaux initiaux ayant été composés précédemment; chaque composition étant réalisée en faisant communiquer au moins deux réseaux, par l'intermédiaire des étiquettes de leurs transitions, selon le mode de communication ( 2) désigné, ce dernier étant choisi35 parmi: -28un mode synchrone; un mode asynchrone; un mode dit pseudo-synchrone, selon lequel les évènements constituant une communication avec l'extérieur au réseau résultant de la composition sont synchrones vis-à-vis de l'extérieur des réseaux à composer et sont asynchrones vis-à-vis de l'intérieur des réseaux à composer, chaque composition par le mode pseudo-synchrone tenant compte des contraintes inter-réseaux ( 4); puis vérifier ( 9, 10), au moyen de la machine de développement, que le réseau résultant de cette composition a des propriétés souhaitées ( 4); fournir ( 1) à la machine de développement une description ( 3) de réseaux initiaux modifiés, en remplacement de réseaux initiaux à composer, si le réseau ( 8) obtenu en composant ces dernier n'a pas les propriétés souhaitées ( 4); puis désigner ( 1) de nouveau à la machine de développement une pluralité de réseaux à composer ( 2) et un mode de communication ( 2) pour lui faire réaliser une suite de compositions ( 7) et de vérifications ( 9, 10), jusqu'à l'obtention de réseaux de Pétri, ayant des propriétés souhaitées ( 4), et modélisant respectivement: chaque communication entre deux interfaces inter-automates (I 4 à I 6) ou entre une interface externe (Il à 13) et l'extérieur à l'ensemble d'automates (E), et chaque automate (Al à A 4) de l'ensemble. 2) Procédé selon la revendication 1, caractérisé en ce que pour réaliser des compositions par le mode de communication synchrone, il consiste à fusionner toutes les transitions appartenant à deux réseaux à composer et dont les étiquettes comportent un même évènement (M) qui est:30 soit conséquence (l M) de l'une des transitions et déclencheur (?M) d'une autre transition; soit conséquence commune (l M) des transitions; soit déclencheur commun (?M) des transitions. 3) Procédé selon la revendication 1, caractérisé en ce que pour réaliser des compositions par le mode de communication -29- asynchrone, il consiste à relier un premier et un deuxième réseau à composer (R 13, R 14), par une file (FIF 01, FIF 02) dans chaque sens de communication; imposer des contraintes temporaires sur le protocole de communication utilisant ces deux files, pendant la durée de la vérification des propriétés souhaitées du réseau résultant (RR) de la composition des deux réseaux à composer et des deux files. 4) Procédé selon la revendication 1, caractérisé en ce que pour composer une pluralité de réseaux (R 15, R 16, R 17) par le mode de communication pseudo-synchrone, il consiste à relier ces réseaux par une file (FIF 05) unique possédant une pluralité d'entrées reliées respectivement à une sortie de chacun des réseaux à composer, et une pluralité de sorties reliées respectivement à une entrée de chacun des réseaux à composer; imposer une contrainte permanente consistant à donner la priorité aux évènements en provenance de cette file, par rapport aux évènements en provenance des interfaces (FIF 03, FIF 04) extérieures au réseau obtenu, pour le déclenchement de transitions dans les réseaux à composer; imposer des contraintes temporaires inter-réseaux, uniquement pendant la durée de la vérification des propriétés souhaitées du réseau de Petri modélisant le comportement d'un automate, et consistant à ajouter des conditions pour le déclenchement de transitions de l'un des réseaux à composer, ces conditions portant sur l'état des autres réseaux à composer, et correspondant au comportement de l'environnement du réseau résultant. ) Procédé selon la revendication 1, caractérisé en ce que les réseaux de Pétri initiaux comportent chacun au plus une interface (Il à I 7) externe à un automate (AI à A 4), et en ce que la composition des réseaux de Pétri élémentaires initiaux comporte trois étapes successives, dans cet ordre: une première étape consistant à: composer ( 1 ') des réseaux deux à deux (BE à B 41) par le mode de communication synchrone pour -30- obtenir des réseaux de Pétri (Si à 516) remplaçant des réseaux initiaux et comportant au plus une interface externe à un automate; vérifier que les réseaux obtenus ont des propriétés souhaitées; et recommencer la première étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées; une deuxième étape consistant, pour chaque interface externe à un automate, à: composer ( 2 ') deux à deux par le mode de communication asynchrone, des réseaux de Pétri (Si à 516, Bll) issus de la première étape et ayant en commun une interface inter-automates ou externe à l'ensemble d'automates, pour obtenir lors de chaque composition un réseau de Pétri (RC 1 à RC 7) modélisant une communication entre deux interfaces inter- automates (I 4 à I 7), ou entre une interface (Il à I 3) externe à un automate et l'environnement de l'ensemble d'automates; vérifier que les réseaux obtenus ont des propriétés souhaitées ( 4); et recommencer la première étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés souhaitées; une troisième étape consistant à: réaliser des compositions ( 3 ') par le mode de communication pseudo-synchrone, pour composer des réseaux de Pétri ( 52 à 55 et Bul, 57 à 59, 51 O et Sul, 512 à 515) issus de la première étape et validés par la deuxième étape, en tenant compte des contraintes inter- réseaux initiaux ( 4) correspondant au comportement de l'environnement extérieur à l'ensemble, pour obtenir pour chaque automate (Al,,A 4) un réseau de Pétri modélisant la fonction de cet automate, notamment les communications entre les réseaux issus de la première étape; vérifier que les réseaux obtenus ont des propriétés souhaitées; et recommencer la première et la deuxième étape pour les réseaux qui ont été composés et dont le réseau résultant n'a pas les propriétés30 souhaitées. 6) Procédé selon la revendication 5, caractérisé en ce que pour implémenter les automates, il consiste en outre à: implémenter ( 12) les réseaux issus de la première étape ( 52 à 55 et Bul pour Ai; 512 à 515 pour A 2; 57 à 59 pour A 3; 510, Sul pour A 4) sous la forme de tables de données décrivant les -31- transitions des automates (Ai à A 4) constitués des sous-automates respectivement modélisés par chacun de ces réseaux; implémenter ( 12) les communications asynchrones et pseudo-synchrones qui ont permis de composer ces réseaux, par des suites d'instructions; implémenter ( 12) un moteur d'automate pour chaque automate, ce moteur utilisant ces tables de données et ces suites d'instructions pour concrétiser cet automate. 7) Procédé selon la revendication 1, caractérisé en ce que pour faciliter la vérification ( 9, 10) de propriétés spécifiques de réseaux ( 8) résultant de la composition de réseaux, il consiste en outre à repérer ( 1) certains évènements au moment o le concepteur décrit les réseaux de Pétri initiaux ( 3); et à éliminer les évènements ainsi repérés, dans le graphe d'accessibilité ( 11) de chaque réseau résultant d'une composition, déterminé lors de la vérification ( 9, 10) que ce réseau a des propriétés souhaitées.