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

@inproceedings{Liu2014OFPENDAAS,
  title={OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets},
  author={Baisi Liu and Mohamed Ghazel and Armand Toguy{\'e}ni},
  booktitle={ADECS @ Petri Nets},
  year={2014}
}
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… CONTINUE READING