Robustness of deadlock control for a class of Petri nets with unreliable resources

Optimal robotic cell scheduling with controllers using mathematically based timed Petri nets

“…Deadlocks are an important control issue in robotic cells because their occurrence always blocks the operation of the affected cells, which may be catastrophic in highly automated systems [9][10][11][12][13]. Petri nets are widely used to solve deadlock problems in automated systems, such as robotic cells, and in deadlock control [9], [14][15][16][17][18][19][20][21][22][23][24].…”

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources

“…Unfortunately, few deadlock control policies in the existing literature can be applied directly to AMSs with unreliable resources. As a result, it has been a great challenge to develop robust or fault-tolerant supervisory control policies for deadlock resolution (Chew et al, 2011;Hsieh, 2011;Liu et al, 2013;Park & Lim, 1999;Yalcin, 2004;Yue et al, 2014).…”

“…Liu et al (2013) present exploratory research on the robustness of liveness-enforcing supervisors for AMSs in a Petri net formalism. Their work is intuitive and has the advantage of being able to avoid the reanalysis of the net.…”

Necessary and sufficient liveness condition of GS3PR Petri nets

“…Therefore, it is a necessary requirement to develop an effective policy to control deadlocks. In the past two decades, the investigations on deadlock resolution in FMS have been a hot topic (Banaszak and Krogh 1990;Viswanadham, Narahari, and Johnson 1990;Leung and Shen 1993;Ezpeleta, Colom, and Martinez 1995;Barkaoui and Pradat-Peyre 1996;Wu 1999;Zhou and Venkatesh 1999;Park and Reveliotis 2001;Uzam 2002;Ghaffari, Rezg, and Xie 2003;Li and Zhou 2004;Wu and Zhou 2007a;Li and Zhao 2008;Piroddi, Cordone, and Fumagalli 2008;Wu, Zhou, and Li 2008;Li and Zhou 2009;Hu, Zhou, and Li 2011;Chen, Li, and Zhou 2012;Huang, Pan, and Zhou 2012;Li, Liu, Hanisch, and Zhou 2012a;Liu, Li, Barkaoui, and Al-Ahmari 2013). For general surveys on deadlock control approaches in FMS, the reader is referred to the excellent reviews (Fanti and Zhou, 2004;Li, Zhou, and Wu 2008;and Li, Wu, and Zhou, 2012b).…”