Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach

Ahmed Al-Ajeli, David Parker

Research output: Contribution to journalArticlepeer-review

97 Downloads (Pure)


We propose techniques for fault diagnosis in discrete-event systems modelled by labelled Petri nets, where fault events are modelled as unobservable transitions. The proposed approach combines an offline and an online algorithm. The offline algorithm constructs a diagnoser in the form of sets of inequalities that capture the legal, normal and faulty behaviour. To implement the offline algorithm, we adopt the Fourier–Motzkin method for elimination of variables from these sets of inequalities. Upon observing an event, the diagnoser is used to determine whether a fault occurred or might have occurred. The occurrence of a fault can be verified by checking the observed sequence against the sets of inequalities. This approach has the advantage that the tradeoff between the size of the diagnoser and the time for computing the diagnosis is achieved. In addition, fault diagnosis in both bounded and unbounded Petri nets can be addressed.
Original languageEnglish
Article number109831
Number of pages7
Early online date27 Jul 2021
Publication statusPublished - Oct 2021


  • Discrete-event systems
  • Petri nets
  • Fault diagnosis
  • Fourier–Motzkin elimination


Dive into the research topics of 'Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach'. Together they form a unique fingerprint.

Cite this