Confusion avoidance for discrete event systems by P/E constraints and supervisory control

Xiaoliang Chen School of Mathematics and Computer Engineering, Xihua University, Chengdu 610039, P. R. China and School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, P. R. China Zhiwu Li∗ and Naiqi Wu Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, P. R. China and School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, P. R. China ∗Corresponding author: zhwli@xidian.edu.cn

[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 .