ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.1033-1047
TITRE
Le produit synchrone des automates (max,+)

RÉSUMÉ
Une extension des automates (max,+) est étudiée dans le but de modéliser le parrallélisme (occurrence simultanée d'évements). Pour cela, on introduit une composition synchrone des automates (max, +) vus comme des automates temporisés. Ceci nous amène à introduire des automates (max, +) avec multi-événements qui correspondent à une classe des automates temporisés avec plusieurs horloges. Nous obtenons la formule pour le comportement de produit synchrone d'automates (max,+) et montrons que dans le cas général il n'est pas possible de définir le produit synchrone des comportement (séries formelles) sans prendre en compte leurs représentations par automates (max,+).


ABSTRACT
Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with serveral clocks) and their behaviour is studied. A formula for the behavior of synchronous product is obtained.


AUTEUR(S)
Jan KOMENDA, Sébastien LAHAYE, Jean-Louis BOIMOND

MOTS-CLÉS
automates (max,+), produit synchrone, parallélisme.

KEYWORDS
(max,+) automata, synchronous product, parallelism.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (394 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier