| 摘要 |
PROCEDE D'AIDE AU DEVELOPPEMENT D'UN ENSEMBLE D'AUTOMATES COMMUNICANTS. Ce procédé consiste à : - fournir (1) à une machine de développement une description de réseaux de Petri élémentaires dits initiaux, modélisant respectivement des comportements partiels de chaque fonction; - vérifier (9), au moyen de cette machine de développement, que chaque réseau initial possède les propriétés souhaitées; - désigner (2) à cette machine de développement, une pluralité de réseaux à composer (7) et un mode de communication; - puis vérifier (9), au moyen de la machine de développement, que le réseau résultant de cette composition a des propriétés souhaitées; - modifier les réseaux de Petri initiaux si le réseau obtenu n'a pas les propriétés souhaitées; - puis désigner (1) 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 les propriétés souhaitées et modélisant respectivement : chaque automate de l'ensemble, et chaque communication entre deux interfaces inter-automates ou entre une interface externe et l'extérieur à l'ensemble d'automates. FIGURE A PUBLIER : Figure 1.
|
