DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser

Résumé

In this paper, we present DPN-SOG, a software tool written in C++ for fault diagnosis of discrete event systems modeled by bounded labeled Petri nets. DPN-SOG (for Diagnosability analysis of Petri Nets using Symbolic Observation Graphs) implements the semi-symbolic diagnoser approach developed in [1, 2] for fault diagnosis of bounded labeled Petri nets. The implemented approach aims to cope with some limitations of the classic diagnoser-based approaches, namely the state-space explosion problem, the intermediate models and the double-checking procedure for diagnosability analysis. The key features of DPN-SOG are: (i) the on-the-fly building of the diagnoser and analysis of diagnosability, (ii) the generation of only the necessary part of the diagnoser to perform the diagnosability analysis and online diagnosis, and (iii) the evaluation of the time/memory consumption for the construction of the diagnoser and the analysis of diagnosability.
Fichier principal
Vignette du fichier
doc00028149.pdf (415.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01653191 , version 1 (01-12-2017)

Identifiants

  • HAL Id : hal-01653191 , version 1

Citer

Abderraouf Boussif, Mohamed Ghazel, Kais Klai. DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01653191⟩
163 Consultations
144 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More