How to use Model Checking for Diagnosing Fault Patterns in Petri nets
Abstract
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.
Origin | Publisher files allowed on an open archive |
---|
Loading...