A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
暂无分享,去创建一个
[1] Hu-Chen Liu,et al. Fuzzy Petri nets for knowledge representation and reasoning: A literature review , 2017, Eng. Appl. Artif. Intell..
[2] Naiqi Wu,et al. On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach , 2018, IMA J. Math. Control. Inf..
[3] 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.
[4] Kamel Barkaoui,et al. Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[5] 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.
[6] Joaquín Ezpeleta,et al. A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..
[7] 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.
[8] MengChu Zhou,et al. Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS , 2007 .
[9] Chengying Wang,et al. Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm , 2016, Inf. Sci..
[10] Alessandro Giua,et al. On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.
[11] 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.
[12] Yufeng Chen,et al. On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[13] Yi-Sheng Huang,et al. Synthesis of deadlock prevention policy using Petri nets reachability graph technique , 2010 .
[14] 周孟初. Synthesis of Monitor-based Liveness-Enforcing Supervisors for S3PR With ξ-Resources , 2015 .
[15] MengChu Zhou,et al. Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[16] Yen-Liang Pan,et al. An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach , 2011 .
[17] Hyunbo Cho,et al. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[18] MengChu Zhou,et al. Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[19] Eike Best. Structure Theory of Petri Nets: the Free Choice Hiatus , 1986 .
[20] Olfa Mosbahi,et al. Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.
[21] MengChu Zhou,et al. Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.
[22] MengChu Zhou,et al. A Branching-Process-Based Method to Check Soundness of Workflow Systems , 2016, IEEE Access.
[23] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[24] Michel Hack,et al. ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .
[25] Xi Wang,et al. Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control , 2016, IEEE Transactions on Industrial Informatics.
[26] MengChu Zhou,et al. An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[27] 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.
[28] 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.
[29] Alessandro Giua,et al. Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints , 2015, IEEE Trans. Autom. Control..
[30] MengChu Zhou,et al. Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[31] Anatol Holt,et al. Events and conditions: introduction , 1970 .
[32] Guanjun Liu. Complexity of the deadlock problem for Petri nets modeling resource allocation systems , 2016, Inf. Sci..
[33] Yi-Sheng Huang,et al. Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique , 2013, TECS.
[34] Elia E. Cano,et al. Virtual Control Policy for Binary Ordered Resources Petri Net Class , 2016, Sensors.
[35] Panos J. Antsaklis,et al. Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..
[36] 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.
[37] Murat Uzam,et al. A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems , 2016, J. Intell. Manuf..
[38] Panos J. Antsaklis,et al. Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[39] MengChu Zhou,et al. Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions , 2016, IEEE Transactions on Automatic Control.
[40] 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.
[41] Murat Uzam,et al. An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .
[42] Kamel Barkaoui,et al. Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.
[43] MuDer Jeng,et al. ERCN merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).
[44] Zhiwu Li,et al. Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[45] MengChu Zhou,et al. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .
[46] Weixiong Zhang. Branch-and-Bound Search Algorithms and Their Computational Complexity. , 1996 .
[47] 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.
[48] MengChu Zhou,et al. Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[49] MengChu Zhou,et al. Synthesis of Monitor-Based Liveness-Enforcing Supervisors for $\rm{S}^{3}$ PR With ${\boldsymbol{\xi }}$ -Resources , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[50] Zhiwu Li,et al. Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets , 2016 .
[51] Kamel Barkaoui,et al. On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..
[52] 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..
[53] Kamel Barkaoui,et al. A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets , 1992, Application and Theory of Petri Nets.
[54] 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.
[55] Han Zandong,et al. Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems , 2005 .
[56] 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.
[57] Yufeng Chen,et al. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..
[58] 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.
[59] 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.
[60] Yufeng Chen,et al. On structural minimality of optimal supervisors for flexible manufacturing systems , 2012, Autom..
[61] 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.
[62] MengChu Zhou,et al. Short-term scheduling of crude-oil operations , 2015 .
[63] Alessandro Giua,et al. Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.
[64] 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.
[65] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[66] P. S. Thiagarajan,et al. Some classes of live and safe Petri nets , 1987 .
[67] Hongye Su,et al. Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[68] Zhiwu Li,et al. Minimal supervisory structure for flexible manufacturing systems using Petri nets , 2016, 2016 2nd International Conference on Control, Automation and Robotics (ICCAR).
[69] Abdulrahman Al-Ahmari,et al. Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..
[70] Olfa Mosbahi,et al. Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.
[71] Arie Shoshani,et al. System Deadlocks , 1971, CSUR.
[72] 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).
[73] Spyros A. Reveliotis. Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[74] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[75] 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.
[76] Alessandro Giua,et al. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations , 2017, IEEE Transactions on Automatic Control.
[77] 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.
[78] Nidhal Rezg,et al. Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..
[79] Javier Esparza,et al. A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs , 1995 .