Skip to Main content Skip to Navigation
Conference papers

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Abstract : In this paper, a software tool to deal with diagnosis of discrete event systems (DESs) is presented. This tool called On-the-Fly PEtri-Net-based Diagnosability Analyzer (OF-PENDA) implements the techniques developed in [13] for the diagnosis of DESs modeled by labeled Petri nets (LPNs). This technique aims to cope with the state explosion problem which is a major issue when dealing with diagnosis of DESs. In particular, OF-PENDA implements an incremental and on-the-fly algorithm which makes it possible to analyze (K-)diagnosability without necessarily generating the whole state space of the model. Three aspects for OF-PENDA are discussed in this paper: an overview on the implemented technique is given; some features of the tool are discussed; then two illustrative case studies are processed to show the efficiency in terms of time and memory compared with some existing approaches.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00999406
Contributor : Ifsttar Cadic Connect in order to contact the contributor
Submitted on : Tuesday, June 3, 2014 - 3:17:54 PM
Last modification on : Saturday, January 15, 2022 - 3:53:53 AM

Identifiers

  • HAL Id : hal-00999406, version 1

Collections

Citation

Baisi Liu, Mohamed Ghazel, Armand Toguyeni. OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p. ⟨hal-00999406⟩

Share

Metrics

Les métriques sont temporairement indisponibles