TY - Type of reference TI - Diagnosis of partially observed Petri nets with algebraic indicators AU - Amira Chouchane AU - Philippe Declerck AB - In this paper, we present a diagnostic approach for partially observable Petri nets based on the formalization of fault indicators under the algebraic form (min, max, +). The faults are modeled by certain unobservable transitions, and the occurrence of a fault is equivalent to the firing of the associated transition. The Fourier-Motzkin elimination algorithm is applied off-line for the generation of fault indicators used on-line for fault diagnosis in a polynomial time. This approach allows anticipating the system state (faulty, no-faulty, uncertain) for each observed transition of the observation. A comparison with the diagnostic technique using the classical form of linear programming problems shows the effectiveness of our approach. The diagnostic system is a module operating in parallel with the classical approach. DO - 10.21494/ISTE.OP.2019.0403 JF - Industrial and Systems Engineering KW - diagnosis, partially observed Petri net, fault indicators, Fourier-Motzkin, algebraic form, max, max, forme algébrique, Fourier-Motzkin, indicateurs de fautes, réseau de Petri partiellement observable, diagnostic, L1 - https://openscience.fr/IMG/pdf/iste_induprod19v2n1_3.pdf LA - en PB - ISTE OpenScience DA - 2019/07/25 SN - 2632-5993 TT - Diagnostic de réseaux de Petri partiellement observables avec indicateurs algébriques UR - https://openscience.fr/Diagnosis-of-partially-observed-Petri-nets-with-algebraic-indicators IS - Issue 1
VL - 2 ER -