H - Electricity – 04 – Q
Patent
H - Electricity
04
Q
H04Q 3/545 (2006.01) G05B 19/05 (2006.01)
Patent
CA 2073903
ABREGE 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.
Colin Catherine
Loyer Bernard
Alcatel N.v.
Robic
LandOfFree
Communicating automata set design aid process does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Communicating automata set design aid process, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Communicating automata set design aid process will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-2087450