A Deadlock Detection and Prevention Method for a Class of Generalized Petri Nets under Proper Resource Allocation

IEEE TENCON 2013——This talk develops a computationally efficient deadlock control policy for a class of generalized Petri nets, called G-system that can well model machining, assembly and disassembly operations. The primary focus of this research is to design a liveness-enforcing supervisor in polynomially computational complexity. First, an extraction algorithm of liveness requirement constraints with polynomial time complexity is presented with respect to different resource allocation orders. In order to properly allocate the system resources for various processes requirements, monitors are added for the net model in terms of precise liveness requirement constraints. Accordingly, an iterative deadlock control algorithm is established based on mixed integer programming (MIP) such that the resulting net system has no deadlock state. The proposed method can lead to a liveness-enforcing supervisor with high computational efficiency.

关键词： Petri网 G-系统 迭代死锁控制 混合整数规划 IEEE TENCON 2013

主讲人：Associate Pro Mi Zhao 机构：Shihezi University

时长：0:24:22 年代：2013年