On K-diagnosability of Petri nets via integer linear programming

  title={On K-diagnosability of Petri nets via integer linear programming},
  author={Francesco Basile and Pasquale Chiacchio and Gianmaria De Tommasi},
This paper deals with the problem of diagnosability of a fault after the firing of a finite number events (i.e., K-diagnosability). This problemcorresponds to diagnosability of a faultwithin a finite delay in the context of discrete event systems. The main contribution of this paper is a necessary and sufficient condition for K-diagnosability of bounded nets. The proposed approach exploits the mathematical representation of Petri nets and the Integer Linear Programming optimization tool. In… CONTINUE READING
Highly Cited
This paper has 57 citations. REVIEW CITATIONS



Citations per Year

57 Citations

Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.