Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif

L'objectif de l'identification comportementale d'un système séquentiel réactif est de construire, à partir d'une séquence observée d'événements d'entrées/sorties, un modèle capable d'exhiber a la fois les relations de causalités entre entrées et sorties (i.e. le comportement réactif ou observable) et les évolutions de l'état interne, (i.e. le comportement non-observable). Cette communication propose une méthode visant a découvrir la partie non observable du comportement à partir d'une séquence de tir. Le principe est de projeter la séquence sur des alphabets pour découvrir des motifs caractéristiques de relations de dépendances entre les transitions. Ces relations peuvent ensuite être converties en fragments structurels de Réseaux de Petri (places et liens orientés). La démarche d'identification est illustrée sur un système expérimental réel.