UMR CNRS 7253

Site Tools


en:m_bouai

Seminar -- November 17th, 2009


Analyse des modèles réseaux de Petri Colorés par l'accessibilité arrière

by Mohamed BOUAI, PhD Student Heudiasyc

Abstract:

Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L'analyse de modèle RdPC peut s'effectuer de plusieurs manières tel que l'exploration de l'espace d'états accessibles, la simulation ou l'analyse structurelle. Dans le cadre du diagnostic et, plus généralement, de la sûreté de fonctionnement des systèmes, l'intérêt est porté sur l'analyse structurelle par accessibilité arrière. Cette analyse permet de trouver la source d'un état particulier du système (généralement, un état défaillant). La mise en œuvre de cette analyse est fait par transformation du RdPC initial en RdPC inverse par application de différentes règles structurelles. Une application de cette méthode consiste en l'analyse d'un système de freinage d'un tramway. Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L'analyse de modèle RdPC peut s'effectuer de plusieurs manières tel que l'exploration de l'espace d'états accessibles, la simulation ou l'analyse structurelle. Dans le cadre du diagnostic et, plus généralement, de la sûreté de fonctionnement des systèmes, l'intérêt est porté sur l'analyse structurelle par accessibilité arrière. Cette analyse permet de trouver la source d'un état particulier du système (généralement, un état défaillant). La mise en œuvre de cette analyse est fait par transformation du RdPC initial en RdPC inverse par application de différentes règles structurelles. Une application de cette méthode consiste en l'analyse d'un système de freinage d'un tramway.

Slides


User Tools