Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

Abstract In this paper an approach to on-line diagnosis of discrete event systems based on labeled Petri nets is presented. The approach is based on the notion of basis markings and justifications and it can be applied both to bounded and unbounded Petri nets whose unobservable subnet is acyclic. Moreover it is shown that, in the case of bounded Petri nets, the most burdensome part of the procedure may be moved off-line, computing a particular graph called Basis Reachability Graph. Finally, the effectiveness of the proposed procedure is analyzed applying a MATLAB diagnosis toolbox we developed to a manufacturing example taken from the literature.

[1]  René Boel,et al.  Distributed contextual diagnosis for very large systems , 2004 .

[2]  Alessandro Giua,et al.  Diagnosability analysis of unbounded Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[3]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[4]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[5]  J. Ivey,et al.  Ann Arbor, Michigan , 1969 .

[6]  Mariagrazia Dotoli,et al.  Fault Detection of Discrete Event Systems Using Petri Nets and Integer Linear Programming , 2008 .

[7]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[8]  René Boel,et al.  Contextual Analysis of Petri Nets for Distributed Applications , 2004 .

[9]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[10]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

[11]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[12]  Michel Bigand,et al.  A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL , 2005 .

[13]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[14]  Shengbing Jiang,et al.  Modeling discrete event systems with faults using a rules based modeling formalism , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[16]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[17]  Alessandro Giua,et al.  Diagnosis of discrete event systems using labeled Petri nets , 2009 .

[18]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[19]  YuanLin Wen,et al.  Diagnosability analysis based on T-invariants of Petri nets , 2005, Proceedings. 2005 IEEE Networking, Sensing and Control, 2005..

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

[21]  Alessandro Giua,et al.  Marking Estimation of Petri Nets With Silent Transitions , 2007, IEEE Transactions on Automatic Control.

[22]  Paulo Eigi Miyagi,et al.  Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets , 2006 .

[23]  Meera Sampath.  A discrete event systems approach to failure diagnosis. , 1995 .

[24]  J. Prock.  A new technique for fault detection using Petri nets , 1991, Autom..

[25]  Christoforos N. Hadjicostis,et al.  Algebraic approaches for fault identification in discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[26]  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.

[27]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[28]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[29]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems, Second Edition , 2008 .

[30]  Alessandro Giua,et al.  Marking estimation of Petri nets with silent transitions , 2004 .

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

[32]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[33]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[34]  Feng Lin,et al.  Design and test of mixed signal circuits: a discrete-event approach , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[35]  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.

[36]  Sheng-Luen Chung.  Diagnosing PN-based models with partial observable transitions , 2005, Int. J. Comput. Integr. Manuf..

[37]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[38]  C. Seatzu,et al.  A comparison between two diagnostic tools based on automata and Petri nets , 2008, 2008 9th International Workshop on Discrete Event Systems.

[39]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[40]  Alessandro Giua,et al.  Diagnosability of bounded Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[41]  Serge Haddad,et al.  Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

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

[43]  Walter Ukovich,et al.  Identification of the unobservable behaviour of industrial automation systems by Petri nets , 2011 .

[44]  MuDer Jeng,et al.  A polynomial algorithm for checking diagnosability of Petri nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

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

[46]  木山 健,et al.  16th IFAC World Congress , 2006 .

[47]  Antonio Correcher Salvador,et al.  Modular Fault Diagnosis Based on Discrete Event Systems , 2005, Discret. Event Dyn. Syst..

[48]  Dimitri Lefebvre,et al.  Diagnosis of DES With Petri Net Models , 2007, IEEE Transactions on Automation Science and Engineering.

[49]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.