Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
暂无分享,去创建一个
Gang Wang | Ying Wang | Ying Cai | Aimin An | Shao Yong Li | Cai Qin Hou | G. Wang | Y. Wang | Shaoyong Li | Caiqin Hou | A. An | Y. Cai
[1] MengChu Zhou,et al. On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[2] Murat Uzam,et al. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .
[3] MengChu Zhou,et al. An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[4] Roberto Cordone,et al. Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[5] MengChu Zhou,et al. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .
[6] MengChu Zhou,et al. Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..
[7] Richard A. Wysk,et al. Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..
[8] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[9] MengChu Zhou,et al. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[10] Zhiwu Li,et al. A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net , 2007 .
[11] X. Xie,et al. Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.
[12] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[13] MengChu Zhou,et al. Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..
[14] Daniel Yuh Chao. Weighted Characteristic P-vector and Deadlock Control of WS3PR , 2010, J. Inf. Sci. Eng..
[15] MengChu Zhou,et al. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..
[16] Hamideh Afsarmanesh,et al. FETR: a framework to establish trust relationships among organizations in VBEs , 2010, J. Intell. Manuf..
[17] MuDer Jeng,et al. Deadlock prevention policy based on Petri nets and siphons , 2001 .
[18] Kimon P. Valavanis,et al. Modular Petri Net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems , 2005, J. Intell. Manuf..
[19] Kazuhiro Saitou,et al. Robust design of flexible manufacturing systems using, colored Petri net and genetic algorithm , 2002, J. Intell. Manuf..
[20] Erhan Kozan,et al. Analysing the performance of an automated pathology specimen handling system , 2008, J. Intell. Manuf..
[21] Daniel Yuh Chao. Searching Strick Minimal Siphons for SNC-Based Resource Allocation Systems , 2007, J. Inf. Sci. Eng..
[22] D. Chao. Direct minimal empty siphon computation using MIP , 2009 .
[23] Kamel Barkaoui,et al. On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.
[24] MengChu Zhou,et al. A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..
[25] Fakhri Karray,et al. A Framework for Coordinated Control of Multiagent Systems and Its Applications , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[26] Hendrik Van Brussel,et al. Deadlock avoidance in flexible flow shops with loops , 2001, J. Intell. Manuf..
[27] Hyoung Joong Kim,et al. Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment , 2009, J. Intell. Manuf..
[28] Hoda A. ElMaraghy,et al. Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .
[29] Joaquín Ezpeleta,et al. A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[30] Daniel Yuh Chao. Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR) , 2009, J. Inf. Sci. Eng..
[31] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[32] Zhiwu Li,et al. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .
[33] MuDer Jeng,et al. ERCN-merged nets and their analysis using siphons , 1999, IEEE Trans. Robotics Autom..
[34] Roberto Cordone,et al. Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[35] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[36] Jonghun Park,et al. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems , 2000, IEEE Trans. Robotics Autom..
[37] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[38] Joaquín Ezpeleta,et al. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems , 1998, ICATPN.
[39] MengChu Zhou,et al. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.
[40] MengChu Zhou,et al. Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS , 2007 .
[41] ZhiWu Li,et al. On systematic methods to remove redundant monitors from liveness-enforcing net supervisors , 2009, Comput. Ind. Eng..
[42] Virgil D. Gligor,et al. On Deadlock Detection in Distributed Systems , 1980, IEEE Transactions on Software Engineering.
[43] D. Chao. Max'-controlled siphons for liveness of S/sup 3/PGR/sup 2/ , 2007 .
[44] Daniel Yuh Chao. A Graphic-Algebraic Computation of Elementary Siphons of BS3PR , 2007, J. Inf. Sci. Eng..
[45] Kwang Ryel Ryu,et al. Comparison of operations of AGVs and ALVs in an automated container terminal , 2011, J. Intell. Manuf..
[46] MengChu Zhou,et al. Deadlock Resolution in Automated Manufacturing Systems , 2009 .
[47] José Manuel Colom,et al. Implicit places in net systems , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).
[48] Yi-Sheng Huang,et al. Comparison of deadlock prevention policies in FMS based on Petri nets siphons , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
[49] Haoxun Chen,et al. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .
[50] K. Lautenback. Linear algebraic calculation of deadlocks and traps , 1987 .
[51] Virgil D. Gligor. A Note on Denial-of-Service in Operating Systems , 1984, IEEE Transactions on Software Engineering.
[52] Y. Narahari,et al. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..
[53] Daniel Yuh Chao,et al. Computation of Elementary Siphons in Petri Nets For Deadlock Control , 2006, Comput. J..
[54] ZhiWu Li,et al. Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons , 2010, J. Intell. Manuf..
[55] Panos J. Antsaklis,et al. Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..