Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized Petri Nets

The mixture of conflicting transitions and concurrent transitions in Petri nets can lead to the loss of conflict information, which is an unfortunate phenomenon in discrete event systems, usually called confusions. They appear in the processes of resource allocation and may cause incomplete decision-making on conflicts. Hence, a confusion detection method and a control strategy are required. This paper proposes a class of confusion control event reconfigurable (CCR) nets to control confusions with the evolution of markings. Their properties such as safety and liveness with the mapping from original Petri nets to CCR nets are investigated. Two confusion control algorithms are proposed to generate a set of control code sequences, which can completely control the occurrences of confusions. Then, a confusion detection algorithm with polynomial time complexity is developed. Finally, an example of confusion analysis in automated manufacturing systems is presented.

[1]  Stefan Haar,et al.  Clusters, Confusion and Unfoldings , 2001, Fundam. Informaticae.

[2]  Einar Smith.  On the Border of Causality: Contact and Confusion , 1996, Theor. Comput. Sci..

[3]  H. Alla,et al.  Implementing PN-based controller with mutually exclusive transitions by SFC , 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.

[4]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[5]  Daniel Y. Chao,et al.  A best deadlock control for S3PMR to reach all states , 2012 .

[6]  Shao-Yong Li,et al.  Structure reduction of liveness-enforcing Petri nets using mixed integer programming† , 2012 .

[7]  Vu Trieu Minh,et al.  Fault detection model‐based controller for process systems , 2011 .

[8]  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).

[9]  Grzegorz Rozenberg,et al.  Petri Nets: Basic Notions, Structure, Behaviour , 1986, Current Trends in Concurrency.

[10]  Yi-Sheng Huang,et al.  Synthesis of deadlock prevention policy using Petri nets reachability graph technique , 2010 .

[11]  Songyin Cao,et al.  Fault tolerant control with disturbance rejection and attenuation performance for systems with multiple disturbances , 2011 .

[12]  Shankar P. Bhattacharyya,et al.  A discrete event systems approach to network fault management: detection and diagnosis of faults † , 2011 .

[13]  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).

[14]  Kyoung Kwan Ahn,et al.  Parallel control for electro‐hydraulic load simulator using online self tuning fuzzy PID technique , 2011 .

[15]  Rongming Zhu.  A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models , 2012 .

[16]  Kurt Lautenbach,et al.  The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes , 1982, IEEE Transactions on Computers.

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

[18]  Yixian Yang,et al.  A New Method to Detect Useless Service Failure Model in SPN , 2010, J. Convergence Inf. Technol..

[19]  Mercedes Pérez de la Parte,et al.  Efficient Representations of Alternative Models of Discrete Event Systems Based on Petri Nets , 2011, 2011 UkSim 13th International Conference on Computer Modelling and Simulation.

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