Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The proposed approach is based on hybrid model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata. These tools allow us to evaluate, respectively, the quality variations and to manage the flow type disturbance. An example analysis illustrates our approach.

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

[2]  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).

[3]  A. Sava.  Sur la synthèse de la commande des systèmes à évènements discrets temporisés , 2001 .

[4]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

[5]  Maurice Pillet.  Appliquer la Maitrise Statistique des processus , 2005 .

[6]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[7]  Hendrik Van Landeghem,et al.  Formal modelling of supply chain: An incremental approach using Petri nets , 2002 .

[8]  Lin Chuang.  Performance Equivalent Analysis of Workflow Systems , 2002 .

[9]  Edgar Delgado-Eckert,et al.  Boolean monomial control systems , 2009 .

[10]  Johann Reger,et al.  A Finite Field Framework for Modeling, Analysis and Control of Finite State Automata , 2004 .

[11]  Mauro Pezzè,et al.  A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems , 1996 .

[12]  Etienne Craye,et al.  Using Interval Constrained Petri Nets for Regulation of Quality , 2010 .

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  P. Aygalinc,et al.  Structural analysis of p-time Petri nets , 1996 .

[15]  Alexander H. Levis,et al.  Synthesis of distributed command and control for the outer air battle , 1988 .

[16]  Homayun Motameni,et al.  Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters , 2007 .

[17]  H. Dhouibi,et al.  Using Interval Constrained Petri Nets for Reactive Control Design: A tobacco manufacturing application , 2008 .

[18]  Lotfi Nabli,et al.  Modelling and Analysis of a Robust Control of Manufacturing Systems: Flow-Quality Approach , 2008 .

[19]  S. Calvez,et al.  P-Time Petri Nets for Manufacturing Systems with Staying Time Constraints , 1997 .

[20]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[21]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[22]  Nabli Lotfi,et al.  Using Interval Constrained Petri Nets for Regulation of Quality: The Case of Weight in Tobacco Factory , 2008 .

[23]  Luciano Lavagno,et al.  Synthesis and Control of Discrete Event Systems , 2002, Springer US.

[24]  Jeffrey J. P. Tsai,et al.  Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications , 1995, IEEE Trans. Software Eng..

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

[26]  Mohamed Benrejeb,et al.  Robust control of multi-product job-shops in repetitive functioning mode , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[27]  Jiacun Wang,et al.  Charging Information Collection Modeling and Analysis of GPRS Networks , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[28]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[29]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[30]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[31]  A. Lefort,et al.  System modelling with HyperNets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[32]  Alessandro Giua.  Synthesis and Control of Discrete Event Systems: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.); Kluwer Academic Publishers, Dordrecht, 2002, 238pp, EUR142.00, US$156.0, ISBN: 0-7923-7639-0 , 2004, Autom..

[33]  E. Delgado-Eckert.  Reverse Engineering Time Discrete Finite Dynamical Systems: A Feasible Undertaking? , 2007, PloS one.

[34]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[35]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[36]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[37]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[38]  Roger Germundsson,et al.  Symbolic algebraic discrete systems theory-applied to a fighter aircraft , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.