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

Provided by: RWSoftware
Topic: Software
Format: PDF
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-y algorithm which makes it possible to analyze (K-) diagnosability without necessarily generating the whole state space of the model.

Find By Topic