UMR CNRS 7253

Site Tools

en:m_bouai

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
en:m_bouai [2010/03/08 18:48] – castilloen:m_bouai [2010/03/11 19:11] (current) – castillo
Line 1: Line 1:
  
-==== Seminar SIT55 -- November 17th, 2009 ====+==== Seminar -- November 17th, 2009 ====
    
 \\ \\
Line 6: Line 6:
 === Analyse des modèles réseaux de Petri Colorés par l'accessibilité arrière === === Analyse des modèles réseaux de Petri Colorés par l'accessibilité arrière ===
  
-by **Mohamed BOUAI**, PhD Students Heudiasyc+by **Mohamed BOUAI**, PhD Student Heudiasyc
  
 __Abstract:__ __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. 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.
 +
 +{{en:sit55-m_bouali.pdf|Slides}}
 \\ \\
  

Page Tools

User Tools

en/m_bouai.1268070528.txt.gz · Last modified: 2010/03/08 18:48 by castillo
Mentions légales