research

Le produit synchrone des automates (max,+)

Abstract

Une extension des automates (max,+) est étudiée dans le but de modéliser le parrallélisme (occurrence simultanée d\u27é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\u27automates (max,+) et montrons que dans le cas général il n\u27est pas possible de définir le produit synchrone des comportement (séries formelles) sans prendre en compte leurs représentations par automates (max,+)

    Similar works