A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
暂无分享,去创建一个
Naiqi Wu | Xiang Wang | Wei Duan | Usama Umer | Ateekh Ur Rehman | Chunfu Zhong | N. Wu | A. Rehman | U. Umer | C. Zhong | Wei Duan | Xiang Wang
[1] MengChu Zhou,et al. Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[2] Richard A. Wysk,et al. Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .
[3] MengChu Zhou,et al. Computation of strict minimal siphons in a class of Petri nets based on problem decomposition , 2017, Inf. Sci..
[4] MengChu Zhou,et al. Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[5] MengChu Zhou,et al. Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[6] MengChu Zhou,et al. A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[7] MengChu Zhou,et al. Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..
[8] Xi Wang,et al. Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control , 2016, IEEE Transactions on Industrial Informatics.
[9] MengChu Zhou,et al. Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[10] MengChu Zhou,et al. Controllability Conditions of Resultant Siphons in a Class of Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[11] Mi Zhao,et al. On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[12] Caijun Zhong,et al. Self-liveness of a class of Petri net models for flexible manufacturing systems , 2010 .
[13] MengChu Zhou,et al. A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[14] Alessandro Giua,et al. Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem , 2017, IEEE Transactions on Automatic Control.
[15] Kamel Barkaoui,et al. New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[16] MengChu Zhou,et al. Short-term scheduling of crude-oil operations , 2015 .
[17] MengChu Zhou,et al. Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.
[18] MengChu Zhou,et al. Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.
[19] Hu-Chen Liu,et al. Fuzzy Petri nets for knowledge representation and reasoning: A literature review , 2017, Eng. Appl. Artif. Intell..
[20] Wenhui Wu,et al. New Controllability Condition for Siphons in Ws3PR Nets , 2015 .
[21] Zhiwu Li,et al. Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems , 2007 .
[22] Huimin Zhang,et al. Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems , 2018, IEEE Transactions on Automation Science and Engineering.
[23] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[24] Alessandro Giua,et al. Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators , 2016, Autom..
[25] Olfa Mosbahi,et al. R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[26] Alessandro Giua,et al. Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.
[27] MengChu Zhou,et al. Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[28] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[29] Alessandro Giua,et al. Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints , 2015, IEEE Trans. Autom. Control..
[30] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[31] Huimin Zhang,et al. A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems , 2018, IEEE Transactions on Automatic Control.
[32] MengChu Zhou,et al. Structural Decomposition and Decentralized Control of Petri Nets , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[33] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[34] Maria Pia Fanti,et al. On-line verification of current-state opacity by Petri nets and integer linear programming , 2018, Autom..
[35] MengChu Zhou,et al. Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).
[36] Zhiwu Li,et al. Energy efficiency optimization in scheduling crude oil operations of refinery based on linear programming , 2017 .
[37] Zhiwu Li,et al. Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[38] Carla Seatzu,et al. A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[39] Alessandro Giua,et al. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations , 2017, IEEE Transactions on Automatic Control.
[40] MengChu Zhou,et al. Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[41] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[42] Wenzhan Dai,et al. Deadlock Prevention Policy for S4PR Nets Based on Siphon , 2018, IEEE Access.
[43] Murat Uzam,et al. A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems , 2016, J. Intell. Manuf..
[44] Kamel Barkaoui,et al. On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..
[45] Keyi Xing,et al. Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[46] Olfa Mosbahi,et al. Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.
[47] Zhiwu Li,et al. Decentralized Diagnosis by Petri Nets and Integer Linear Programming , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[48] Ting Qu,et al. Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems , 2018, IEEE Access.
[49] H. S. Hu,et al. Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[50] MengChu Zhou,et al. Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[51] MengChu Zhou,et al. Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[52] Zhiwu Li,et al. Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[53] Ting Qu,et al. On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets. , 2019, ISA transactions.
[54] Yufeng Chen,et al. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..
[55] 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.
[56] Alessandro Giua,et al. On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.
[57] MuDer Jeng,et al. A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.
[58] Olfa Mosbahi,et al. RWiN: New Methodology for the Development of Reconfigurable WSN , 2017, IEEE Transactions on Automation Science and Engineering.
[59] Zhiwu Li,et al. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .
[60] Xi Wang,et al. Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures , 2019, IEEE Transactions on Automation Science and Engineering.
[61] Naiqi Wu,et al. Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement , 2017, Inf. Sci..
[62] MengChu Zhou,et al. Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets , 2012, IEEE Transactions on Automation Science and Engineering.
[63] MuDer Jeng,et al. Deadlock prevention policy based on Petri nets and siphons , 2001 .
[64] 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.
[65] Pei Li,et al. Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[66] MengChu Zhou,et al. Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[67] MengChu Zhou,et al. A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR , 2017, IEEE Transactions on Automatic Control.
[68] Wenhui Wu,et al. An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets , 2018, IEEE Access.
[69] ZhiWu Li,et al. A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models , 2008, Engineering with Computers.
[70] Naiqi Wu,et al. Model-based fault identification of discrete event systems using partially observed Petri nets , 2018, Autom..