Fault tolerant liveness analysis for a class of Petri nets

Although Petri nets have been widely used in the analysis of manufacturing systems, real systems usually suffer from failure prone resources, which makes it difficult to apply existing Petri net analysis methods to control manufacturing systems based on Petri net theory. Existing Petri net theory is deficient in analyzing the liveness property for systems with unreliable resources. Reachability analysis is feasible only for small systems. This paper bridges the gap between existing Petri net theory and its application to real manufacturing systems. This paper focuses on fault tolerant analysis of existing Petri net theory. The paper considers the persistent production control problem of a class of Petri nets called marked graph (MG)-refined nets, a class for modeling manufacturing systems with flexible production routing and heterogeneous, failure prone resources. The new class of MG-refined nets is differentiated from existing Petri nets in that the number of tokens in the net is not conserved to model the effects of unreliable resources. We characterize fault tolerant conditions for MG-refined nets. For MG-refined nets, we propose the concept of persistent production, a weaker condition than liveness to produce the products of a given type of production process for manufacturing systems.

[1]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

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

[3]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[4]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..

[5]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[6]  MuDer Jeng,et al.  ERCN-merged nets and their analysis using siphons , 1999, IEEE Trans. Robotics Autom..

[7]  Fu-Shiung Hsieh Robustness of deadlock avoidance algorithms for sequential processes , 2003, Autom..

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

[9]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[10]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[11]  MuDer Jeng,et al.  Petri nets for modeling automated manufacturing systems with error recovery , 1997, IEEE Trans. Robotics Autom..

[12]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..