Optimal control policy for a well-known S3PR

It has been a hot research topic to compare the effectiveness of new control policies by testing against a well-known S3PR model. So far, only the control policy by Piroddi et al. may reach the optimal number of states among all approaches for a well-known benchmark using a siphon-based approach. The resulting model is a generalized Petri net since some control arcs are weighted, which complicates the system. The only improvement that can be made is to reduce the number of control arcs (by 3), and the number of weighted control arcs (by 9) as we report in this paper. Also the token count is reduced. This is achieved by replacing two monitors with weighted arcs by two new monitors without weighted arcs. INA (Integrated Net Analyzer) analysis indicates that the resulting controlled model is live and reaches the same 21581 states by Piroddi et al. We develop a formal theory for explaining the cause of state losses and providing the foundation for the above improvement model.

[1]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

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

[3]  MengChu Zhou,et al.  Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS , 2007 .

[4]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

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

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

[7]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..

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

[9]  Richard Zurawski.  Petri net models, functional abstractions, and reduction techniques: applications to the design of automated manufacturing systems , 2005, IEEE Transactions on Industrial Electronics.

[10]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[11]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

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

[14]  Guanjun Liu,et al.  A simple Suboptimal siphon‐based control model of a well‐known S3PR , 2012 .

[15]  Li-Chen Fu,et al.  A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..

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