Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources

In most application of Petri nets, resources are modeled as tokens. Unreliable resources pose challenges as existing Petri net theory is deficient in analyzing the impacts of the perturbation due to resource failures. One strategy to analyze a perturbed system is to study its robustness with respect to uncertainties. In this paper, we study the robustness of a class of controlled Petri nets called controlled assembly/disassembly Petri net (CADPN) for assembly/disassembly processes with unreliable resources. The number of tokens in CADPN is not conservative to capture the effects of resource failures. Based on the CADPN model, we characterize different types of tolerable resource failures allowed for a nominal marking of a live CADPN. We show that liveness of a CADPN can still be preserved under tolerable resource failures.

[1]  Fu-Shiung Hsieh.  Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[3]  Fu-Shiung Hsieh.  Fault-tolerant deadlock avoidance algorithm for assembly processes , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[4]  Elzbieta Roszkowska.  Supervisory control for deadlock avoidance in compound processes , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Elzbieta Roszkowska,et al.  Problems of Process Flow Feasibility in FAS , 1992 .

[6]  Fu-Shiung Hsieh.  Analysis of a Class of Controlled Petri Net based on Structural Decomposition , 2004 .

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

[8]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[9]  Maria Pia Fanti,et al.  Event control for deadlock avoidance in assembly systems , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[10]  Elzbieta Roszkowska.  CAST Tools for Automatic FMS-Dynamics Models Synthesis , 1991, EUROCAST.

[11]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[12]  MengChu Zhou,et al.  Deadlock Resolution in Computer-Integrated Systems , 2004 .

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

[14]  Spyros Reveliotis.  Real-time management of resource allocation systems : a discrete event systems approach , 2004 .