Deadlock resolution method for automated manufacturing systems modeled with Petri nets

For automated manufacturing systems (AMS), deadlock resolution in terms of their Petri net models remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to unnecessary implementation cost. In the framework of Petri nets, this paper proposes a method to synthesize a cost-effective supervisor with the aid of a set of mixed integer programming (MIP) formulations. Examples are used to validate the legality of the proposed method.

[1]  ZhiWu Li,et al.  Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior , 2009, IEEE Transactions on Automation Science and Engineering.

[2]  Alessandro Giua,et al.  An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.

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

[4]  Zhiwu Li,et al.  Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems , 2007 .

[5]  ZhiWu Li,et al.  Liveness Enforcing Supervision in Video Streaming Systems using Siphons , 2009, J. Inf. Sci. Eng..

[6]  ZhiWu Li,et al.  Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs , 2009, Comput. Ind. Eng..

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

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

[9]  MengChu Zhou,et al.  Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets , 2009, IEEE Transactions on Multimedia.

[10]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[11]  Joaquín Ezpeleta,et al.  A Petri net solution to the problem of deadlocks in systems of processes with resources , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[12]  Zhiwu Li,et al.  An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems , 2008 .