Loading...
Please wait, while we are loading the content...
Similar Documents
Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots
| Content Provider | Semantic Scholar |
|---|---|
| Author | Khlif-Bouassida, Manel Toguyéni, Armand |
| Copyright Year | 2015 |
| Abstract | Dans cet article, une approche est developpee pour l'analyse de la diagnosticabilite des systemes a evenements discrets (SEDs) modelises par des Reseaux de Petri Labellises (RdP-L). L'objectif de ce travail est de combattre l'explosion combinatoire dans l'analyse de la diagnosticabilite a partir d'un modele RdP-L. Notre approche etend l'analyse a la volee proposee dans [13]. Elle propose des ameliorations basees sur les concepts d'explications minimales et de T-semiflots. Basee sur la recherche en profondeur d'abord, cette approche ameliore l'efficacite de l'analyse de diagnosticabilite en construisant l'espace d'etat de maniere compacte en utilisant le concept d'explications minimales. De plus, cette approche definit des priorites dans le parcours des branches du graphe d'accessibilite a l'aide de T-semiflots. Notre approche a pour objectif de trouver plus rapidement l'existence de cycles indetermines et de construire l'espace d'etat de maniere compacte, afin de reduire le cout de memoire de l'analyse de diagnosticabilite. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://msr2015.loria.fr/pdfs/li.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
