How to use Model Checking for Diagnosing Fault Patterns in Petri nets
Résumé
This paper deals with the problem of fault pattern diagnosis in discrete event systems modelled by Petri nets. A general framework for implementing a pattern diagnosis function by model-checking is proposed. Two different approaches with experimental results are presented and compared to a third approach from the literature.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
Loading...
