Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings

This paper addresses the fault diagnosis problem in discrete event systems using backward conflict-free Petri nets, where two different transitions have no common output places. The notion of generalized markings is employed, where the number of tokens in a place can be negative. Based on the special structures of backward conflict-free Petri nets and the generalized marking corresponding to an observed transition sequence, an integer linear programming (ILP) problem is constructed where the numbers of unknown integer variables and constraints are independent of the length of the observed transition sequence. A diagnosis algorithm is proposed by associating two different objective functions with the ILP problem and solving it. The computational efficiency of the proposed algorithm depends on the net structure only, regardless of the length of an observed transition sequence.

[1]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[2]  Zhenhua Yu,et al.  A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems , 2020 .

[3]  Hongye Su,et al.  An improved approach to test diagnosability of bounded petri nets , 2017, IEEE/CAA Journal of Automatica Sinica.

[4]  Zhiwu Li,et al.  Containment of rumor spread in complex social networks , 2020, Inf. Sci..

[5]  Xiang Yin.  Verification of Prognosability for Labeled Petri Nets , 2018, IEEE Transactions on Automatic Control.

[6]  Antonio Ramírez-Treviño,et al.  Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.

[7]  Carla Seatzu,et al.  Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs , 2019, IEEE Transactions on Automatic Control.

[8]  Dmitry A. Zaitsev,et al.  Synthesis of continuous-valued logic functions defined in tabular form , 1998 .

[9]  Wil M. P. van der Aalst,et al.  Process Discovery: An Introduction , 2011 .

[10]  Liang Qi,et al.  A user requirement oriented web service discovery approach based on logic and threshold petri net , 2019, IEEE/CAA Journal of Automatica Sinica.

[11]  Zhiwu Li,et al.  On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets , 2019, IEEE Access.

[12]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

[13]  Walter Ukovich,et al.  Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches , 2013, IEEE Transactions on Automation Science and Engineering.

[14]  Walter Ukovich,et al.  On-line fault detection in discrete event systems by Petri nets and integer linear programming , 2009, Autom..

[15]  Dmitry A. Zaitsev.  Verification of computing grids with special edge conditions by infinite Petri nets , 2013, Automatic Control and Computer Sciences.

[16]  Manuel Silva,et al.  On the history of Discrete Event Systems , 2018, Annu. Rev. Control..

[17]  ZhiWu Li,et al.  On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems , 2017, ArXiv.

[18]  Eric Sanlaville,et al.  Datation of Faults for Markovian Stochastic DESs , 2019, IEEE Transactions on Automatic Control.

[19]  Zhiwu Li,et al.  Design of Supervisors for Active Diagnosis in Discrete Event Systems , 2020, IEEE Transactions on Automatic Control.

[20]  Zhiwu Li,et al.  Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” , 2019, IEEE Transactions on Automatic Control.

[21]  Zhiwu Li,et al.  Adaptive Consensus of Two Coupled Heterogeneous Networked Systems With Bidirectional Actions , 2020, IEEE Access.

[22]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[23]  Alessandro Giua,et al.  Optimization of Deterministic Timed Weighted Marked Graphs , 2017, IEEE Transactions on Automation Science and Engineering.

[24]  Jiacun Wang,et al.  A simulation engine for stochastic timed petri nets and application to emergency healthcare systems , 2019, IEEE/CAA Journal of Automatica Sinica.

[25]  Zhiwu Li,et al.  A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations , 2018, IEEE Systems Journal.

[26]  Naiqi Wu,et al.  Model-based fault identification of discrete event systems using partially observed Petri nets , 2018, Autom..

[27]  Stéphane Lafortune,et al.  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.

[28]  Gianmaria De Tommasi,et al.  On K-diagnosability of Petri nets via integer linear programming , 2012, Autom..

[29]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[30]  Alessandro Giua,et al.  Diagnosability of Discrete-Event Systems Using Labeled Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[31]  Gianmaria De Tommasi,et al.  An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.

[32]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[33]  Alessandro Giua,et al.  Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics , 2018, IEEE Transactions on Automatic Control.

[34]  Zhiwu Li,et al.  An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems , 2020, IEEE Transactions on Automatic Control.

[35]  Zhiwu Li,et al.  Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices , 2020, IEEE Transactions on Industrial Informatics.

[36]  Zhiwu Li,et al.  Diagnosability of Vector Discrete-Event Systems Using Predicates , 2019, IEEE Access.

[37]  Alessandro Giua,et al.  Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems , 2011 .

[38]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[39]  Pei Li,et al.  Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[40]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.