Confusion avoidance for discrete event systems by P/E constraints and supervisory control
暂无分享,去创建一个
Abdulrahman Al-Ahmari | Naiqi Wu | Xiaoliang Chen | Abdul-Aziz Mohammed El-Tamimi | Emad S. Abouel Nasr | ZhiWu Li | A. Al-Ahmari | N. Wu | Zhiwu Li | A. El-Tamimi | E. A. Nasr | Xiaoliang Chen
[1] Grzegorz Rozenberg,et al. Current Trends in Concurrency, Overviews and Tutorials , 1986, Current Trends in Concurrency.
[2] Einar Smith. On the Border of Causality: Contact and Confusion , 1996, Theor. Comput. Sci..
[3] Yufeng Chen,et al. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..
[4] Alexandre Falcoz,et al. Robust Fault Diagnosis for Atmospheric Reentry Vehicles: A Case Study , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[5] Stefan Haar,et al. Occurrence Net Logics , 2000, Fundam. Informaticae.
[6] MengChu Zhou,et al. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.
[7] Olfa Mosbahi,et al. Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.
[8] Moe Key. Verification of workflow nets with transition conditions , 2012 .
[9] Wil M. P. van der Aalst,et al. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.
[10] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[11] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[12] Qi Wang,et al. A versatile supervisor with one monitor based on macro-tokens , 2014, IMA Journal of Mathematical Control and Information.
[13] Zhiwu Li,et al. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .
[14] 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).
[15] 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.
[16] 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).
[17] 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.
[18] Cristian Mahulea,et al. Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[19] 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.
[20] Zhiwu Li,et al. Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized Petri Nets , 2013 .
[21] Panos J. Antsaklis,et al. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (M.V. Iordache and P.J. Antsaklis; 2008) [Book reviews] , 2006, IEEE Transactions on Automatic Control.
[22] 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.
[23] 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).
[24] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[25] Christie Marr. Adding Conflict and Confusion to CSP , 2005, FM.
[26] Bruce H. Krogh,et al. Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .
[27] 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.
[28] Zhiwu Li,et al. Optimal Supervisory Control of Automated Manufacturing Systems , 2013 .
[29] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.
[30] Antonio Ramírez-Treviño,et al. Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[31] MengChu Zhou,et al. Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[32] Stefan Haar,et al. Clusters, Confusion and Unfoldings , 2001, Fundam. Informaticae.
[33] MengChu Zhou,et al. Clarifications on the Definitions of Elementary Siphons in Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[34] Christie Marr. Capturing Conflict and Confusion in CSP , 2007, IFM.
[35] 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.
[36] Joost-Pieter Katoen. GSPNs Revisited: Simple Semantics and New Analysis Algorithms , 2012, 2012 12th International Conference on Application of Concurrency to System Design.
[37] Payam Nazemzadeh,et al. From Forbidden States to Linear Constraints , 2011 .
[38] Grzegorz Rozenberg,et al. Petri Nets: Basic Notions, Structure, Behaviour , 1986, Current Trends in Concurrency.
[39] Wil vanderAalst,et al. Workflow Management: Models, Methods, and Systems , 2004 .
[40] 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.
[41] Panos J. Antsaklis,et al. Supervision Based on Place Invariants: A Survey , 2006, Discret. Event Dyn. Syst..
[42] MengChu Zhou,et al. Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.
[43] Dimitri Lefebvre,et al. Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[44] Alessandro Giua,et al. Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[45] Mariagrazia Dotoli,et al. Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[46] P. S. Thiagarajan. Elementary Net Systems , 1986 .