How to use Model Checking for Diagnosing Fault Patterns in Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2020

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.
Fichier principal
Vignette du fichier
article_proceedings_0056.pdf (371.5 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-02997908 , version 1 (10-11-2020)

Licence

Identifiers

  • HAL Id : hal-02997908 , version 1

Cite

Johanne Bakalara, Yannick Pencolé, Audine Subias. How to use Model Checking for Diagnosing Fault Patterns in Petri nets. WODES 2020 - 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Virtual, Brazil. pp.1-6. ⟨hal-02997908⟩
98 View
119 Download

Share

More